#mirage on 2014-05-29 — irc logs at freenode.irclog.whitequark.org

00:39 tlockney is now known as tlockney_away

00:51 boogie has quit [Remote host closed the connection]

02:06 philtor_ has joined #mirage

02:22 philtor_ has quit [Ping timeout: 252 seconds]

02:41 rgrinberg has quit [Quit: Leaving.]

02:45 rgrinberg has joined #mirage

03:01 rgrinberg has quit [Quit: Leaving.]

03:48 rgrinberg has joined #mirage

04:01 mcclurmc has quit [Remote host closed the connection]

04:02 mcclurmc has joined #mirage

04:22 philtor_ has joined #mirage

04:36 boogie has joined #mirage

04:40 philtor_ has quit [Ping timeout: 255 seconds]

05:14 rgrinberg has quit [Quit: Leaving.]

05:15 rgrinberg has joined #mirage

05:30 rgrinberg has quit [Quit: Leaving.]

05:35 boogie has quit [Remote host closed the connection]

06:10 avsm has joined #mirage

06:19 avsm1 has joined #mirage

06:19 avsm has quit [Read error: Connection reset by peer]

06:34 philtor has quit [Ping timeout: 258 seconds]

06:50 rgrinberg has joined #mirage

06:59 mcclurmc has quit [Ping timeout: 265 seconds]

07:17 mcclurmc has joined #mirage

07:33 rgrinberg has quit [Read error: Connection reset by peer]

07:33 rgrinberg has joined #mirage

08:11 rgrinberg has quit [Quit: Leaving.]

08:23 AltGr has joined #mirage

08:56 cr409 has joined #mirage

09:27 thomasga has joined #mirage

10:17 avsm has joined #mirage

10:25 * avsm signs in from the xen hackathon

10:25 <avsm> noddy: hannes: cohttp builds again with the new conduit, should be merging as soon as i get a chance

10:25 <avsm> so should be able to get ssl working on trunk

10:25 <hannes> avsm: neat!

10:26 <hannes> avsm: I currently have 0.10.0 (and mirage-http 1.1.0) installed, and trunk of ocaml-tls -- works like a charm :)

10:29 <avsm> zomg awesome!

10:29 <avsm> what was the dns workaround?

10:29 <avsm> adding a simple DNS lookup driver to mirage would be very handy

10:32 <hannes> there's no dns involved... I'm talking about mirage on the server; and firefox / chrome on the client side

10:32 <hannes> noddy wrote https://github.com/mirleft/ocaml-tls/tree/master/mirage/example2 :)

10:34 avsm has quit [Quit: Leaving.]

10:38 avsm has joined #mirage

10:53 dsheets has joined #mirage

11:17 <hannes> dsheets: I'd join for lunch today if you tell me when :)

11:18 <dsheets> hannes, ok. thomasga?

11:18 <dsheets> burrito? cav?

11:18 <hannes> I haven't had burrito -- thus would be happy to try it out

11:18 <thomasga> ok for burrito as well

11:19 <dsheets> now?

11:19 <hannes> I'll drop by your office then!

11:19 <thomasga> 10min ?

11:19 <hannes> ok

11:19 <dsheets> 10min srg

11:30 thomasga has quit [Quit: Leaving.]

11:35 avsm has quit [Quit: Leaving.]

12:21 thomasga has joined #mirage

12:36 avsm has joined #mirage

12:42 cantstanya has quit [Remote host closed the connection]

12:43 cantstanya has joined #mirage

13:37 avsm has quit [Quit: Leaving.]

13:47 djs55 has joined #mirage

13:49 djs55 has quit [Client Quit]

14:02 thomasga has quit [Quit: Leaving.]

15:04 avsm has joined #mirage

15:16 thomasga has joined #mirage

15:16 philtor has joined #mirage

15:25 rgrinberg has joined #mirage

15:42 tlockney_away is now known as tlockney

15:52 thomasga has quit [Quit: Leaving.]

16:05 boogie has joined #mirage

16:08 avsm has quit [Quit: Leaving.]

16:09 thomasga has joined #mirage

16:22 avsm has joined #mirage

16:33 avsm has quit [Quit: Leaving.]

17:19 rgrinberg has quit [Quit: Leaving.]

17:19 rgrinberg has joined #mirage

17:37 philtor has quit [Ping timeout: 265 seconds]

17:39 mcclurmc has quit [Remote host closed the connection]

17:48 dsheets has quit [Ping timeout: 245 seconds]

17:52 AltGr has left #mirage [#mirage]

18:10 cr409 has quit [Ping timeout: 240 seconds]

18:29 rgrinberg has quit [Quit: Leaving.]

18:35 rgrinberg has joined #mirage

18:42 philtor has joined #mirage

18:47 mcclurmc has joined #mirage

19:13 philtor_ has joined #mirage

19:42 thomasga has quit [Ping timeout: 252 seconds]

20:18 thomasga has joined #mirage

20:43 philtor_ has quit [Ping timeout: 252 seconds]

20:45 thomasga has quit [Ping timeout: 252 seconds]

20:46 thomasga has joined #mirage

20:54 boogie has quit [Remote host closed the connection]

21:12 thomasga has quit [Quit: Leaving.]

21:13 thomasga has joined #mirage

21:21 rgrinberg has quit [Quit: Leaving.]

21:30 rgrinberg has joined #mirage

22:05 philtor_ has joined #mirage

22:05 rgrinberg has quit [Quit: Leaving.]

22:06 cr409 has joined #mirage

22:09 rgrinberg has joined #mirage

22:11 cr409 has quit [Ping timeout: 255 seconds]

22:43 philtor_ has quit [Ping timeout: 252 seconds]

22:53 boogie has joined #mirage

23:12 rgrinberg has quit [Quit: Leaving.]

23:18 philtor_ has joined #mirage

23:36 boogie has quit [Remote host closed the connection]

23:36 boogie has joined #mirage

23:41 boogie has quit [Ping timeout: 252 seconds]

23:43 boogie has joined #mirage

23:53 rgrinberg has joined #mirage