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

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:04 thomasga has quit [Quit: Leaving.]

00:25 MrScout has quit [Ping timeout: 256 seconds]

00:30 kdef has quit [Quit: Leaving]

00:31 AltGr has joined #mirage

00:53 nullcat_ has joined #mirage

01:06 tinhead has joined #mirage

01:08 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

01:13 agarwal1975 has quit [Quit: Connection closed for inactivity]

01:38 tinhead has quit [Remote host closed the connection]

01:46 tinhead has joined #mirage

01:57 tinhead has quit [Remote host closed the connection]

02:04 tinhead has joined #mirage

02:16 andreas1 has joined #mirage

02:16 andreas1 has quit [Client Quit]

02:39 tinhead has quit [Remote host closed the connection]

02:57 nullcat_ has joined #mirage

03:08 nullcat_ has quit [Ping timeout: 276 seconds]

03:10 6JTAA71KM has joined #mirage

03:57 tinhead has joined #mirage

03:57 tinhead has quit [Remote host closed the connection]

04:42 6JTAA71KM has quit [Quit: Textual IRC Client: www.textualapp.com]

04:42 nullcat_ has joined #mirage

04:58 tinhead has joined #mirage

05:03 tinhead has quit [Remote host closed the connection]

05:03 tinhead has joined #mirage

05:08 tinhead has quit [Ping timeout: 265 seconds]

05:35 tinhead has joined #mirage

05:38 tinhead has quit [Remote host closed the connection]

07:13 justincormack has quit [Ping timeout: 265 seconds]

07:35 thomasga has joined #mirage

07:35 nullcat_ has quit [Read error: Connection reset by peer]

07:38 nullcat_ has joined #mirage

07:50 andreas1 has joined #mirage

07:57 thomasga has quit [Quit: Leaving.]

08:05 jonludlam has quit [Ping timeout: 272 seconds]

08:05 nullcat_ has quit [Read error: Connection reset by peer]

08:17 thomasga has joined #mirage

08:19 thomasga has quit [Client Quit]

08:36 m__ has joined #mirage

08:37 nullcat_ has joined #mirage

08:39 thomasga has joined #mirage

08:46 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

09:11 jonludlam has joined #mirage

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

09:18 tinhead has joined #mirage

09:31 dsheets has quit [Ping timeout: 265 seconds]

09:37 tinhead has quit [Remote host closed the connection]

09:54 <m__> any way to update mirage to 2.5.0 (except pinning)? the latest on opam is 2.4.0

09:54 justincormack has joined #mirage

09:57 <hannes> m__: "opam repo add mirage-dev https://github.com/mirage/mirage-dev" adds the mirage-dev repository onto your repositories.. in this, e.g. mirage-2.5 is released

09:57 <m__> thanks

09:59 <hannes> (or git://github.com/mirage/mirage-dev.git is what I use actually)

10:00 larhat has joined #mirage

10:01 larhat has quit [Client Quit]

10:17 dsheets has joined #mirage

10:21 tinhead has joined #mirage

10:23 thomasga has joined #mirage

10:28 thomasga has quit [Quit: Leaving.]

10:32 thomasga has joined #mirage

10:39 thomasga has quit [Quit: Leaving.]

10:41 thomasga has joined #mirage

10:42 thomasga has quit [Client Quit]

11:24 jgjl has joined #mirage

12:15 AltGr has left #mirage [#mirage]

12:20 tinhead has quit [Remote host closed the connection]

12:22 justincormack has quit [Quit: Leaving]

12:23 tinhead has joined #mirage

12:27 tinhead has quit [Ping timeout: 240 seconds]

12:35 jonludlam has quit [Ping timeout: 256 seconds]

12:50 jonludlam has joined #mirage

12:57 yomimono has joined #mirage

13:15 yomimono has quit [Ping timeout: 245 seconds]

13:23 andreas2 has joined #mirage

13:24 tinhead has joined #mirage

13:27 andreas1 has quit [Ping timeout: 264 seconds]

13:29 tinhead has quit [Ping timeout: 264 seconds]

13:36 jonludlam has quit [Ping timeout: 264 seconds]

13:37 jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

13:43 jgjl has joined #mirage

13:48 jonludlam has joined #mirage

14:06 <vbmithr_> I've got a problem with cohttp/async

14:06 <vbmithr_> sometimes it does not send the whole http content

14:06 <vbmithr_> I'm going to prove this

14:18 jonludlam has quit [Ping timeout: 240 seconds]

14:20 <vbmithr_> https://github.com/mirage/ocaml-cohttp/issues/357

14:20 yomimono has joined #mirage

14:20 <vbmithr_> I'm sure I've already bumped into this once

14:36 jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

14:37 agarwal1975 has joined #mirage

14:55 <vbmithr_> OMG

14:55 <vbmithr_> This commit

14:56 <vbmithr_> ocaml-cohttp f03012072c096580bcd7b753515614aa6f95f89d

14:56 <vbmithr_> So what if the input is larger than the max buffer size ?

14:57 <vbmithr_> my bug is from this.

15:00 <yomimono> vbimthr_: looks like there is some work on this atm: https://github.com/mirage/ocaml-cohttp/issues/345

15:03 <vbmithr_> I'm trying to pin down the bug now

15:03 <vbmithr_> yomimono: thanks

15:09 tinhead has joined #mirage

15:13 jonludlam has joined #mirage

15:14 tinhead has quit [Ping timeout: 258 seconds]

15:28 andreas1 has joined #mirage

15:31 andreas2 has quit [Ping timeout: 255 seconds]

16:10 kdef has joined #mirage

16:10 tinhead has joined #mirage

16:13 rgrinberg has joined #mirage

16:15 tinhead has quit [Ping timeout: 264 seconds]

16:25 yomimono has quit [Ping timeout: 276 seconds]

16:28 m__ has quit [Ping timeout: 246 seconds]

16:32 miragebot has joined #mirage

16:32 <miragebot> [mirage] samoht pushed 4 new commits to master: http://git.io/vk0nR

16:32 <miragebot> mirage/master 56e500d Thomas Gazagnaire: Changes to support the latest conduit+tls changes

16:32 <miragebot> mirage/master 196bfe5 Thomas Gazagnaire: Ensure that every conduit instance has a unique module name....

16:32 miragebot has left #mirage [#mirage]

16:32 <miragebot> mirage/master 71ffd2b Thomas Gazagnaire: Shorten a line

16:35 miragebot has joined #mirage

16:35 <miragebot> [mirage] samoht deleted v2.5.0 at 6b0606f: http://git.io/vk0Cr

16:35 miragebot has left #mirage [#mirage]

16:35 miragebot has joined #mirage

16:35 <miragebot> [mirage] samoht tagged v2.5.0 at 4936793: http://git.io/vJ6Pk

16:35 miragebot has left #mirage [#mirage]

16:52 seveneng has joined #mirage

16:53 dsheets has quit [Ping timeout: 246 seconds]

16:57 seveneng has quit [Remote host closed the connection]

16:58 jonludlam has quit [Ping timeout: 246 seconds]

17:02 MrScout has joined #mirage

17:58 nullcat has joined #mirage

18:37 rgrinberg has quit [Ping timeout: 265 seconds]

18:54 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:58 tinhead has joined #mirage

19:02 tinhead has quit [Remote host closed the connection]

19:03 tinhead has joined #mirage

19:03 tinhead has quit [Changing host]

19:08 kdef has quit [Ping timeout: 255 seconds]

19:09 seangrove has joined #mirage

19:27 Meeh has quit [Ping timeout: 276 seconds]

19:33 rgrinberg has joined #mirage

19:38 rgrinberg has quit [Ping timeout: 246 seconds]

19:38 tinhead has quit [Remote host closed the connection]

19:43 <raboof> at http://www.openmirage.org/wiki/hello-world#Step4Networking, it is mentioned that this setup 'simultaneously' supports a socket and a tuntap connection

19:43 <raboof> i'm pretty sure what is meant is that the application code supports both, but you have to select one at build time, right?

19:53 jonludlam has joined #mirage

20:18 rgrinberg has joined #mirage

20:19 dsheets has joined #mirage

20:19 jonludlam has quit [Ping timeout: 265 seconds]

20:21 rgrinberg1 has joined #mirage

20:22 thomasga has joined #mirage

20:24 rgrinberg has quit [Ping timeout: 245 seconds]

20:26 kdef has joined #mirage

20:26 kdef has quit [Client Quit]

20:28 nullcat_ has joined #mirage

20:34 lobo has joined #mirage

20:43 MrScout_ has joined #mirage

20:43 kdef has joined #mirage

20:46 MrScout has quit [Ping timeout: 265 seconds]

20:50 larhat has joined #mirage

20:50 rgrinberg2 has joined #mirage

20:53 rgrinberg1 has quit [Ping timeout: 265 seconds]

20:56 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

21:01 nullcat has joined #mirage

21:03 tinhead has joined #mirage

21:03 tinhead has quit [Changing host]

21:08 jonludlam has joined #mirage

21:29 <raboof> so I'm playing with mirage a bit and am trying to convert a small opium-based webservice app to mirage

21:29 <raboof> i got so far that when building for xen, I get: http://paste.debian.net/187723

21:31 MrScout_ has quit [Remote host closed the connection]

21:31 <raboof> do I read this correctly when I think that 'Core_kernel' is depending (indirectly) on the 'unix' version of cohttp, where it should be depending on the 'xen' version?

21:35 <raboof> ah, I guess I should somehow pass the cohttp_lwt server in as a parameter to my Main

21:43 MrScout has joined #mirage

22:04 MrScout has quit [Remote host closed the connection]

22:10 <raboof> hmm, that seems to lead to even more references to Unix (http://paste.debian.net/187764). I guess it's time to call it a day though :)

22:14 MrScout has joined #mirage

22:28 kdef has quit [Quit: Leaving]

22:32 rgrinberg2 is now known as rgrinberg

22:36 tinhead has quit [Remote host closed the connection]

22:39 kdef has joined #mirage

22:41 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

22:51 mort___ has joined #mirage

23:01 MrScout has quit [Remote host closed the connection]

23:06 dsheets has quit [Ping timeout: 256 seconds]

23:11 tinhead has joined #mirage

23:12 tinhead has quit [Remote host closed the connection]

23:13 tinhead has joined #mirage

23:13 larhat has quit [Quit: Leaving.]

23:22 lobo has quit [Quit: leaving]

23:25 tinhead has quit [Remote host closed the connection]

23:26 jonludlam has quit [Ping timeout: 245 seconds]

23:27 tinhead has joined #mirage

23:55 thomasga has quit [Quit: Leaving.]