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

00:00 thomasga has joined #mirage

00:01 thomasga has quit [Client Quit]

00:23 tlockney_away is now known as tlockney

00:34 tlockney is now known as tlockney_away

01:25 tlockney_away is now known as tlockney

01:35 tlockney is now known as tlockney_away

02:23 tlockney_away is now known as tlockney

03:57 philtor has quit [Ping timeout: 264 seconds]

08:10 tlockney is now known as tlockney_away

08:45 NoNNaN has quit [Ping timeout: 272 seconds]

08:47 NoNNaN has joined #mirage

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

09:10 djs55 has joined #mirage

09:20 djs55 has quit [Quit: Leaving.]

10:11 avsm has joined #mirage

10:15 <avsm> hannes: i was curious where that segfault came from...

10:15 <avsm> hannes: why wasn't it an exception?

10:16 <hannes> avsm: haven't investigated, but should be easy to reproduce by running the lwt example client without network connectivity

10:17 <avsm> hannes: yeah. getting there later today i hope. catching up on a week's worth of email after all the meetings. time to CODE

10:18 <hannes> avsm: the first code blob it should execute is the resolv in tls_lwt

10:19 <avsm> that should error into an exception iirc

10:19 <hannes> yep

10:29 <hannes> avsm: https://gist.github.com/hannesm/1045c4aa2d76df6314e1 is the backtrace from my .core

10:29 <avsm> hannes: oh oh

10:52 <hannes> noe

10:52 <hannes> wrong window, sorry

11:21 mort___ has joined #mirage

11:25 mort___ has quit [Client Quit]

11:25 mort___ has joined #mirage

11:39 mort___ has quit [Ping timeout: 258 seconds]

11:44 andreas1 has joined #mirage

12:31 djs55 has joined #mirage

12:58 dsheets has joined #mirage

13:07 dsheets has quit [Ping timeout: 240 seconds]

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

13:34 avsm has joined #mirage

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

14:12 djs55 has joined #mirage

14:38 <hannes> avsm: https://github.com/ocsigen/lwt/pull/69

14:57 djs55 has quit [Quit: Leaving.]

14:58 djs55 has joined #mirage

15:10 rgrinberg has joined #mirage

15:28 djs55 has quit [Quit: Leaving.]

15:34 rektide has quit [Ping timeout: 252 seconds]

15:52 rektide has joined #mirage

15:58 philtor has joined #mirage

16:15 philtor has quit [Ping timeout: 276 seconds]

16:43 andreas1 has quit [Quit: Leaving.]

16:43 andreas has joined #mirage

16:44 andreas has quit [Client Quit]

16:59 djs55 has joined #mirage

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

17:09 tlockney_away is now known as tlockney

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

17:30 tlockney is now known as tlockney_away

17:33 rgrinberg has joined #mirage

17:39 philtor has joined #mirage

17:43 avsm has quit [Quit: Leaving.]

17:53 djs55 has quit [Quit: Leaving.]

17:53 philtor has quit [Ping timeout: 252 seconds]

18:38 mcclurmc has joined #mirage

18:40 mcclurmc has quit [Remote host closed the connection]

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

19:18 rgrinberg has joined #mirage

19:22 djs55 has joined #mirage

20:06 djs55 has quit [Quit: Leaving.]

20:17 tlockney_away is now known as tlockney

20:45 rgrinberg has quit [Quit: Leaving.]

20:50 rgrinberg has joined #mirage

21:45 boogie has joined #mirage

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

23:40 NoNNaN has quit [Remote host closed the connection]

23:40 NoNNaN has joined #mirage

23:47 tlockney is now known as tlockney_away