Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-10-07

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:06 mornfall xstill: zdá se že s --no-http-pipelining to funguje
08:07 xstill to je dost na nic řešení
08:07 mornfall no, každopádně to asi znamená že s tím nic dělat nemůžeme
08:07 xstill bylo by to o trošku míň na nic kdyby to bylo napsané na webu ale stále dost
08:07 xstill a včem je tam problém, nginx něco motá?
08:08 mornfall ale houby, to je nějakej race v darcsu
08:08 xstill aha
08:08 mornfall jako možná by šlo zakázat http/1.1 na to repo v nginxu, nějak
08:09 xstill hm, a to --no-http-pipelining je v darcsu dost dlouho na to aby jsme to mohli napsat na web?
08:10 mornfall to tam je asi od doby co to nějakej pipelining umí
08:10 mornfall http://en.wikipedia.org/wiki/HTTP_pipelining to vypadá fakt dobře :D
08:10 mornfall v podstatě je to vypnutý úplně všude
08:10 xstill no mě jde o to, jak moc hrozí, že to tam napíšeme a lidi budou mít zase problém, že to jejich darcs neumí. I když to by jim mohlo dojít, že to můžou napst bez toho.
08:10 mornfall protože to je asi komplet rozbitý :D
08:11 xstill super
08:11 xstill nemůžeme to zakázat na straně ngix?
08:13 mornfall jako asi jde nastavit keepalive_requests na 1
08:13 mornfall nic lepšího nevidim
08:15 mornfall ale teda určitě ne na celej web...
08:15 mornfall naštěstí to jde nastavit v location
09:53 xstill takže jsi to nastavil?
11:48 mornfall ještě ne
15:09 mornfall xstill: nezabralo
15:09 mornfall xstill: ale prý je to opravený v darcsu 2.8.5
15:09 mornfall a taky bychom mohli spravit ten shellshock teda
15:22 xstill mohli no
15:37 xstill no darcs 2.8.5 nás zrovna nezachání
15:41 mornfall xstill: tys něco ručně přidával do /etc/expressions?
15:41 xstill hm, myslím, že jsem dělal pull
15:42 mornfall je tam nějakej cherry-pick asi
15:42 mornfall pull mi teď selhal totiž s konfliktama
15:44 xstill hm, je možný, že jsem dělal cherry-pick na shellshock
15:47 mornfall ok, počítám že teď to bude týden buildovat :D
15:48 xstill no to by byla ta lepší varianta
15:48 xstill minule to nešlo ani
15:52 mornfall tak něco to dělá
15:53 mornfall ale vypadá to že to zahrnuje rebuild aj chromia aj firefoxu... to je radost :)
15:57 xstill super
15:57 xstill ale tak strojů máme dost, ne
16:00 mornfall to jo
16:00 mornfall ale je jedno kolik máme strojů stejně to poběží do rána
16:01 xstill to jo
16:05 mornfall hm, libffi je rozbitý ale
16:06 xstill to je co?
16:06 mornfall no, guile to chce :)
16:06 mornfall a hydra chce guile
16:06 mornfall ale mám pocit že ghc to taky používá?
16:11 xstill nevím
16:11 xstill kdyby se ti chtělo tak máš na maillistu nějaké drobné patche

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary