Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-09-17

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

All times shown according to UTC.

Time Nick Message
01:51 ilbot3 joined #divine
01:51 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
01:54 mornfall joined #divine
08:26 xstill nevidím na tom splitteru nic špatného
08:26 xstill pokud teda není blbě ten binární v commin
08:26 xstill to si ještě rozmyslím
08:29 xstill asi taky dobrý
08:30 xstill no ale kde selhalo timed?
08:30 xstill je to skoro všechno zelený
08:34 mornfall http://divine.fi.muni.cz/status/log/5ylx684dw8r19brjmlmcdwn4f82f982s-divine-ubuntu1304_debug_x64-3.2.0+pre5184/vanilla:algorithm_owcty.sh
08:34 mornfall ani ne tak timed jako protipříklady s timed
08:34 xstill mohl bys posílat Content-Type: text/plain v hlavičce těch logů ze status?
08:35 xstill protože třeba hydra logy se mi normálně zobrazují ve firefoxu a tohle se mi otevírá v externím editoru
08:36 xstill hydra má Content-Type: text/plain; charset=UTF-8
08:38 mornfall on totiž nemá content-type vůbec žádnej, což si chromium třeba vyloží jako text/plain
08:38 xstill no a firefox to vyhodnotí jako že je to nějakej soubor kterej si asi cheš stáhnout
08:47 xstill což celkem dává smysl, protože neskončíš s tím, že budeš náhodou stahovat do okna prohlížeče několik desítek MB binárního smetí kterému někdo zapomněl nastavit content type
08:49 mornfall eh, došla mi baterka
08:49 mornfall jo, já to nějak vyřeším
08:49 mornfall rfc říká že když tam content-type není a nejseš ochotnej to zjišťovat podle obsahu tak můžeš použít application/octet-stream
08:50 mornfall což je asi to co firefox udělá
10:36 vlada joined #divine
11:14 xHire joined #divine
12:03 xstill mornfall: nejede web
12:04 xstill nejede anna
12:05 xstill jdu do serverovny
12:31 xstill nefunguje zásuvka už jsem to přepojil
12:31 xstill jsem nevěděl že ty pheme racky mají 4 nezávislé zdroje
12:31 xstill u jednoho už jsme měli napájený jen jeden ale přesto to vypadá že ty stroje jeli
12:31 xstill takže to schytala jen anna která má 1 PSU
12:39 xstill tak asi jenom pheme14 se vypla (kdo ví proč…)
12:39 xstill ale už zase jede
12:42 xstill a přišel jsem na to díky divine statusu na pandoře :-)
17:03 ChanServ joined #divine
17:03 xstill joined #divine
17:03 mornfall joined #divine
17:03 xHire joined #divine
18:17 mornfall :D
18:17 mornfall já jsem dneska úplně out
18:17 mornfall ale maily jsem četl
18:42 xstill no já bych je normálně něčím praštil, člověk by řekl, že v serverovně by tohle mohlo být nějak ošetřené, alespoň by to mohli monitorovat nebo něco a ne, že si toho člověk musí sám všimnout
18:52 mornfall :-)
19:07 xstill jo a když už jsem tam byl, tak jsem: připojil pole k seriovému portu na antee a přes management ethernet k druhé sťovce na anně, annu jsem připojil seriovým portem k antee přes USB adaptér
19:07 xstill takže ip adresu už bys měl mít volnou
19:11 mornfall super :)
21:09 xstill ale bylo vtipný proplítat se tím klubíčkem kabelů za rackem
21:10 xstill a ještě bylo vtipný když jsem zkoušel jestli nefunguje celá prodlužka nebo je chyba v ní tak, že jsem po jednom vytahoval kabely a koukal se jestli pheme nezhasínaj PSU

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