#mirage on 2014-10-01 — irc logs at freenode.irclog.whitequark.org

00:15 mcclurmc has quit [Remote host closed the connection]

00:33 tlockney is now known as tlockney_away

01:24 AltGr has joined #mirage

01:27 hhugo has quit [Quit: Leaving.]

02:18 brson has quit [Quit: leaving]

02:24 tlockney_away is now known as tlockney

02:35 yomimono has joined #mirage

02:44 tlockney is now known as tlockney_away

03:10 andreas1 has joined #mirage

03:14 andreas has quit [Ping timeout: 258 seconds]

03:37 mcclurmc has joined #mirage

03:54 tlockney_away is now known as tlockney

04:04 yomimono has quit [Ping timeout: 272 seconds]

04:47 tlockney is now known as tlockney_away

04:52 tlockney_away is now known as tlockney

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

04:58 rgrinberg has joined #mirage

06:34 tlockney is now known as tlockney_away

06:37 hhugo has joined #mirage

06:42 rgrinberg has quit [Quit: Leaving.]

07:21 djs55 has joined #mirage

07:21 djs55 has quit [Client Quit]

07:22 djs55 has joined #mirage

07:39 thomasga has joined #mirage

08:25 jonludlam has joined #mirage

08:25 thomasga has quit [Quit: Leaving.]

08:28 thomasga has joined #mirage

08:54 hhugo1 has joined #mirage

08:55 andreas1 has quit [Ping timeout: 245 seconds]

08:56 hhugo has quit [Read error: Connection reset by peer]

09:14 avsm has joined #mirage

09:22 avsm has quit [Quit: Leaving.]

09:24 andreas has joined #mirage

09:32 avsm has joined #mirage

09:44 groente_ is now known as groente

09:45 thomasga has quit [Quit: Leaving.]

09:47 hhugo1 has quit [Quit: Leaving.]

09:49 thomasga has joined #mirage

10:02 AltGr has left #mirage [#mirage]

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

10:10 avsm has joined #mirage

10:17 fmu has quit [Ping timeout: 240 seconds]

10:18 fmu has joined #mirage

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

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

11:26 rgrinberg has joined #mirage

11:31 rgrinberg has quit [Client Quit]

12:13 hhugo has joined #mirage

13:15 hhugo has quit [Quit: Leaving.]

13:33 dsheets has joined #mirage

13:33 dsheets has quit [Quit: Leaving]

13:34 dsheets has joined #mirage

13:34 <vbmithr> [6~ls

13:43 nojb has joined #mirage

13:46 <nojb> is it possible to use multicast udp sockets in Mirage ?

13:54 hhugo has joined #mirage

14:11 hhugo has quit [Quit: Leaving.]

14:27 hhugo has joined #mirage

14:32 avsm has joined #mirage

14:39 tlockney_away is now known as tlockney

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

15:06 <nojb> where is the module `OS' defined ?

15:08 <avsm> in mirage-platform

15:09 <nojb> ah, thanks!

15:35 andreas has quit [Quit: Leaving.]

16:01 brson has joined #mirage

16:17 djs55 has joined #mirage

16:19 nojb has quit [Ping timeout: 272 seconds]

16:27 djs55 has quit [Quit: Leaving.]

16:31 nojb has joined #mirage

16:34 rgrinberg has joined #mirage

16:36 nojb has quit [Read error: Connection reset by peer]

16:36 nojb` has joined #mirage

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

16:44 nojb` has quit [Remote host closed the connection]

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

17:00 rgrinberg has joined #mirage

17:02 rgrinberg has quit [Client Quit]

17:04 rgrinberg has joined #mirage

17:04 rgrinberg has quit [Client Quit]

17:14 hhugo has quit [Quit: Leaving.]

17:16 avsm has joined #mirage

17:20 avsm has quit [Client Quit]

17:39 rgrinberg has joined #mirage

17:47 dsheets has quit [Ping timeout: 272 seconds]

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

17:51 thomasga has joined #mirage

18:10 tlockney is now known as tlockney_away

18:45 avsm has joined #mirage

18:53 tlockney_away is now known as tlockney

19:08 mcclurmc has quit [Remote host closed the connection]

19:13 mcclurmc has joined #mirage

19:19 yomimono has joined #mirage

19:28 djs55 has joined #mirage

19:46 rgrinberg has joined #mirage

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

20:24 rgrinberg has joined #mirage

20:31 avsm has quit [Quit: Leaving.]

20:44 thomasga has quit [Quit: Leaving.]

20:45 thomasga has joined #mirage

20:46 tlockney is now known as tlockney_away

20:51 tlockney_away is now known as tlockney

21:00 djs55 has quit [Quit: Leaving.]

21:05 avsm has joined #mirage

21:05 andreas has joined #mirage

21:07 tlockney is now known as tlockney_away

21:13 IbnFirnas has joined #mirage

21:19 avsm has quit [Quit: Leaving.]

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

21:26 thomasga has joined #mirage

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

22:01 djs55 has joined #mirage

22:25 hhugo has joined #mirage

22:29 djs55 has quit [Quit: Leaving.]

22:36 tlockney_away is now known as tlockney

22:47 hhugo has quit [Quit: Leaving.]

23:39 yomimono has quit [Ping timeout: 240 seconds]