avsm changed the topic of #mirage to: mirage 2 released! party on!
AltGr has joined #mirage
agarwal1975 has joined #mirage
brson has quit [Quit: leaving]
jonludlam has quit [Ping timeout: 245 seconds]
seangrov` has quit [Ping timeout: 256 seconds]
seangrov` has joined #mirage
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat_ has joined #mirage
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat_ has joined #mirage
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mcclurmc has quit [Remote host closed the connection]
mort___ has joined #mirage
mcclurmc_ has joined #mirage
nullcat_ has joined #mirage
mcclurmc_ has quit [Remote host closed the connection]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mort___ has quit [Ping timeout: 255 seconds]
wildsebastian has joined #mirage
nullcat has joined #mirage
nullcat has quit [Client Quit]
mort___ has joined #mirage
seako has quit [Quit: Connection closed for inactivity]
thomasga has joined #mirage
thomasga has quit [Client Quit]
dsheets has quit [Ping timeout: 256 seconds]
nullcat has joined #mirage
dsheets has joined #mirage
thomasga has joined #mirage
wildsebastian has quit [Read error: Connection reset by peer]
mort___ has quit [Quit: Leaving.]
yomimono has joined #mirage
mort___ has joined #mirage
thomasga has quit [Quit: Leaving.]
AltGr has left #mirage [#mirage]
thomasga has joined #mirage
thomasga has quit [Client Quit]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
thomasga has joined #mirage
gprano has joined #mirage
wildsebastian has joined #mirage
mort___ has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
jonludlam has joined #mirage
mort___ has joined #mirage
mcclurmc has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<dsheets> where does Static1 live?
<dsheets> yomimono, you know?
<yomimono> dsheets: that's the file generated by crunch for in-memory key-value stores
<yomimono> dsheets: assuming I understand the question? confidence in that is low
<dsheets> oh, that is right
<yomimono> \o/
<dsheets> ~o~
mcclurmc has quit [Remote host closed the connection]
<thomasga> static2 is much better though
<yomimono> it's at least one better than static1.
<thomasga> indeed
agarwal1975 has quit [Quit: agarwal1975]
<dsheets> ok now i get some junk about Static1.connect not existing
<dsheets> mirage-types 2.3.0 mirage 2.5.0
<yomimono> are you trying to build mirage-www?
<dsheets> ocaml-dns-examples/simple_server
<dsheets> has something changed recently?
<dsheets> i'm prepping for dns 0.15.0
<yomimono> not as regards crunch, afaik
<yomimono> but heidi may have made changes to simple_server yesterday
<dsheets> well, the mirage tool and crunch don't think so but the KV_RO sig is missing connect
<thomasga> KV_RO doesn't have a connect anymore I think
<dsheets> #require "mirage-types";; #show_module_type V1.KV_RO;;
<dsheets> the mirage tool still generates code for that, though
<thomasga> yup
<thomasga> because you still need to build values of such types
<dsheets> Static1.connect does not exist when Static1 is from crunch
<thomasga> (I mean of type KV_RO.t or something similar)
<thomasga> hum
<dsheets> so the tool generates unbuildable code
<dsheets> afaics
<dsheets> unless there is some update i need to do because this demo is a month old or so
<dsheets> 2 months let's say
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
<thomasga> dsheets: that's weird because it works well with mirage-www and all the mirage-skeleton code
<thomasga> I'll check your code
<dsheets> it's probably a version constraint problem somewhere
<thomasga> which mirage-fs-unix do you have?
<dsheets> it's crunch 1.3.0 vs 1.4.0
<thomasga> ha sorry
<thomasga> so yes, you need crunch 1.4.0
<dsheets> so mirage 2.4.0 needs crunch >= 1.4.0? should i make a pr? are there other constraints?
<thomasga> a pr would be good indeed. I think mirage-fs-unix needs also to be >= 1.1.4
<thomasga> (but they would be conflict instead of constraints)
<yomimono> fwiw I have a bunch of unit tests + patches that make the tests pass for mirage-fs-unix that I'm about to try to figure out how to submit
<yomimono> not sure if that's relevant to anything but seems silly not to mention it
<dsheets> mirage-fs-unix 1.1.3 seems to wfm
<dsheets> oh, hmm, but i'm not actually using that backend, i see
mort___ has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
kdef has joined #mirage
mort___ has joined #mirage
thomasga has joined #mirage
mcclurmc has joined #mirage
mort___1 has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mort___ has quit [Ping timeout: 245 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
avsm1 has joined #mirage
<avsm1> I'm missing this one from the tls pull req
<avsm1> dont the cstubs need to be synched? Curious about how it boots without them :)
<thomasga> still using cstruct 1.5.0
agarwal1975 has joined #mirage
<avsm1> aha
<avsm1> no harm in releasing new mirage-xen is there? i can do that now
<avsm1> that'll reduce the load on the constraint engine
<thomasga> yea that would be neat to avoid recompilation as well
<thomasga> (as there can be a lot of upgrade/downgrade between cstrcut 1.5.0 and 1.6.0)
mcclurmc has joined #mirage
<avsm1> ok
avsm1 has quit [Read error: Connection reset by peer]
avsm has joined #mirage
<avsm> thomasga: is the openmirage.org checkout on miriod on punk the TLS fork?
<avsm> the configure.sh doesnt seem to have TLS=1
<thomasga> only mirage.io
<thomasga> openmirage.org is master
<avsm> aha got it
<avsm> ill merge with mirage.io and do a proper fix later
<avsm> just getting redirect sorted
<thomasga> the config on miriod is not totally obvious though
<thomasga> would be nice to document it somewhere when it's stable :-)
<avsm> just getting one kernel booted first :)
<thomasga> yup
<avsm> that TLS key stuff is confusing to setup
<hannes> "TLS key stuff"?
<thomasga> if you have any better idea for the user interface, feel free to propose. Currently I'm moving the keys in a temporary dir anyway for crunching
<thomasga> (at lest in mirage-seal)
<avsm> hannes: the .pem and .crt
<avsm> right now you have to concat the gandi crt and intermediate cert
<avsm> and then private key in another file
<avsm> and if you concat the certs in the wrong order then you get an exception
<hannes> we can also use a single file...
<avsm> right, i just randomly muddled around until it worked
<hannes> we could also do reordering within ocaml-tls...
<avsm> is that reliable?
<avsm> i guess it is. there's only one combintaion that makes sense :)
<hannes> well, according to the ietf working group, the only demand is that server certificate comes first, random order later...
<avsm> basically it would be useful in tlstunnel to give instructions on what those keys and certs arguments mean
<avsm> ah interesting!
<avsm> i can annotate them with the gandi specific instructions (and i'm sure others will pitch in too)
yomimono has quit [Ping timeout: 244 seconds]
<hannes> spec says server cert, then in order chain... but implementations seems to ignore ordering.. wg still discussing what they should write in the new rfc (and whether they should relax it according to the real world)
<hannes> my opinion is that we should be as relax as needed for the real world... and in our server setup I'd demand/sort the certificates
<hannes> and by sorting I mean we can easily try out any order and look which one fits well (and use this)... if it is not a chain, complain to the user
<avsm> alright i'll create an issue on tlstunnel then
<avsm> although the fix is in tls really isnt it?
<hannes> yes.. I'm creating an issue... it is partially in tls (the sending side), and partially in x509 (the receiving side)
<hannes> for tlstunnel btw, key can be in the cert pem, and if no --key is specified, the --cert is used..
wildsebastian has quit [Quit: Konversation terminated!]
<avsm> ok great
<avsm> hannes: eyah i like the tlstunnel behaviour, but just adding info in the README about what to do is most useful
<avsm> most other stud/stunnel also dont document this, which i hate :)
yomimono has joined #mirage
mort___1 has quit [Quit: Leaving.]
mort___ has joined #mirage
<avsm> annotated rfc -> code :)
<avsm> should do trunk soon as well
kdef has quit [Quit: Leaving]
<hannes> I think/would be happy to transfer the tls packages in mirage-dev over to opam-repo
mort___ has quit [Quit: Leaving.]
avsm1 has joined #mirage
avsm has quit [Ping timeout: 252 seconds]
MrScout has joined #mirage
dsheets has quit [Ping timeout: 240 seconds]
avsm1 has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
yomimono has quit [Ping timeout: 264 seconds]
brson has joined #mirage
kdef has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
nullcat_ has joined #mirage
justincormack has quit [Ping timeout: 256 seconds]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
thomasga has quit [Ping timeout: 264 seconds]
MrScout has quit [Remote host closed the connection]
nullcat has joined #mirage
MrScout has joined #mirage
thomasga has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
jonludlam has quit [Ping timeout: 276 seconds]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
thomasga has quit [Quit: Leaving.]
nullcat has quit [Client Quit]
thomasga has joined #mirage
larhat has joined #mirage
jonludlam has joined #mirage
jonludlam has quit [Ping timeout: 256 seconds]
MrScout has quit [Ping timeout: 256 seconds]
nullcat_ has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #mirage
MrScout has joined #mirage
jonludlam has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
avsm has joined #mirage
tlockney_away is now known as tlockney
larhat has quit [Quit: Leaving.]
yomimono has joined #mirage
thomasga has quit [Quit: Leaving.]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
thomasga has joined #mirage
<hannes> mirage.io down!?
yomimono has quit [Quit: Leaving]
<thomasga> hannes: https
brson has quit [Quit: leaving]
<avsm> hannes: was rebuilding it with http redirect
jonludlam has quit [Ping timeout: 250 seconds]