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

00:20 philtor_ has joined #mirage

00:28 agarwal1975 has quit [Quit: agarwal1975]

00:32 mcclurmc_ has joined #mirage

00:32 mcclurmc has quit [Read error: Connection reset by peer]

00:39 philtor_ has quit [Ping timeout: 252 seconds]

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

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

01:35 philtor_ has joined #mirage

01:46 boogie has joined #mirage

01:47 philtor_ has quit [Ping timeout: 245 seconds]

02:00 tlockney is now known as tlockney_away

02:02 rgrinberg has joined #mirage

02:18 agarwal1975 has joined #mirage

02:24 agarwal1975 has quit [Quit: agarwal1975]

03:00 philtor_ has joined #mirage

03:02 rgrinberg1 has joined #mirage

03:04 rgrinberg has quit [Ping timeout: 240 seconds]

03:12 philtor_ has quit [Ping timeout: 252 seconds]

03:47 philtor_ has joined #mirage

03:47 boogie has quit [Remote host closed the connection]

03:57 philtor_ has quit [Ping timeout: 255 seconds]

04:12 boogie has joined #mirage

04:13 boogie has quit [Remote host closed the connection]

04:13 rgrinberg1 has quit [Quit: Leaving.]

04:14 boogie has joined #mirage

04:23 philtor_ has joined #mirage

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

06:50 boogie has quit [Remote host closed the connection]

07:26 AltGr has joined #mirage

09:05 avsm has joined #mirage

09:47 djs55 has joined #mirage

10:11 thomasga has joined #mirage

10:12 <thomasga> avsm: there is no function to actually create a server in Cohttp_lwt.Server

10:12 <thomasga> seems that all backends define their own (Cohttp_lwt_unix.Server.create and Cohttp

10:12 <thomasga> and HTTP.Server.listen for mirage)

10:16 <avsm> thomasga: yeah, that's exactly why the resolver needs to do this

10:17 <avsm> thomasga: because the best you can do is to specify a url from the Cohttp_lwt code, and have the specific backend decide how to interpret that

10:17 <thomasga> well here it's on the server side

10:17 <avsm> yup we figured out how to do it server side yesterday too

10:17 <thomasga> but yes, we should pass a Uri.t there

10:17 <thomasga> ha cool

10:17 <avsm> resolution looks up a directory service

10:18 <thomasga> also, git URI are not normal URI because they use : instead of the first /

10:18 <avsm> git@github.com:foo

10:18 <avsm> ugh yeah

10:19 <avsm> is that a shortcut of some kind?

10:19 <avsm> git://github.com/foo works fine

10:19 <thomasga> git+ssh as well ?

10:20 <avsm> i think git@g:foo is shortcut for git+ssh

10:28 dsheets has joined #mirage

10:45 djs55 has quit [Quit: Leaving.]

10:46 djs55 has joined #mirage

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

11:33 thomasga has joined #mirage

13:12 agarwal1975 has joined #mirage

13:14 agarwal1975 has quit [Client Quit]

13:42 <dsheets> noddy, hannes, seen http://ccsinjection.lepidum.co.jp/blog/2014-06-05/CCS-Injection-en/index.html ?

13:49 agarwal1975 has joined #mirage

13:50 <hannes> I have

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

14:40 cr409_ has joined #mirage

14:52 avsm has quit [Quit: Leaving.]

15:03 tizoc has quit [Quit: Coyote finally caught me]

15:03 tizoc has joined #mirage

15:10 tizoc has quit [Quit: Coyote finally caught me]

15:10 tizoc has joined #mirage

15:10 tizoc has quit [Changing host]

15:14 agarwal1975 has quit [Quit: agarwal1975]

15:17 agarwal1975 has joined #mirage

15:23 avsm has joined #mirage

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

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

16:13 tlockney_away is now known as tlockney

16:23 boogie has joined #mirage

16:40 rgrinberg has joined #mirage

17:57 dsheets has quit [Ping timeout: 264 seconds]

18:12 avsm has joined #mirage

18:29 djs55 has joined #mirage

18:36 djs55 has quit [Quit: Leaving.]

18:37 djs55 has joined #mirage

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

19:33 djs55 has quit [Quit: Leaving.]

19:36 djs55 has joined #mirage

19:41 tlockney is now known as tlockney_away

19:52 cr409_ has quit [Ping timeout: 260 seconds]

19:53 yomimono has joined #mirage

19:56 dsheets has joined #mirage

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

20:25 cr409 has joined #mirage

20:36 tlockney_away is now known as tlockney

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

21:40 dsheets has quit [Ping timeout: 252 seconds]

21:50 rgrinberg has joined #mirage

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

22:26 yomimono has quit [Ping timeout: 240 seconds]

22:35 agarwal1975 has quit [Quit: agarwal1975]

22:59 noddy has quit [Quit: "it's a bit backwards around here"]

23:14 yomimono has joined #mirage

23:14 cr409 has quit [Read error: Connection reset by peer]

23:14 cr409 has joined #mirage

23:42 yomimono has quit [Ping timeout: 252 seconds]

23:47 avsm has joined #mirage