<vbmithr_>
fun a b c -> Unix.write_bytes t a b c >> return c)
<noddy>
when you count? :D
<vbmithr_>
It was stored in my paste buffer I think :)
<noddy>
looks that way :)
<vbmithr_>
If I'm not mistaken you just do a standard Unix.close here
<noddy>
nononono
<noddy>
that Unix is the Unix module *above*, in the same file
<noddy>
Tls_lwt.Unix
<vbmithr_>
Ha
<noddy>
... which does more magic
<noddy>
ok, this is bad
<noddy>
the real problem here is that you need your own socket management, and Tls_lwt does not let you both have your own sockets *and* build channels
<vbmithr_>
I don't understand
<vbmithr_>
:)
<noddy>
Tls_lwt.connect does correct magic for you
<noddy>
Tls_lwt.Unix.client_of_fd does less magic
<noddy>
the matrix is: (channel vs. buffer) * (own socket vs. your socket)
<noddy>
and i think the problem is that the api does not cover the fourth case: you socket, our channel lifecycle management.
<noddy>
i have to go now
<vbmithr_>
sure
<vbmithr_>
talk to you later
<noddy>
but please, try copy-pasting bits of tls_lwt that build the channel into your code
<vbmithr_>
ok.
<noddy>
if that solves the problem, i'll rework the api to provide the missing fourth case.
<vbmithr_>
ok, will do
<noddy>
ttyl
<vbmithr_>
It seems I'm doing it all correctly
<vbmithr_>
(alert-out (FATAL PROTOCOL_VERSION))
rgrinberg has joined #mirage
philtor has joined #mirage
brson has joined #mirage
andreas has quit [Quit: Leaving.]
andreas has joined #mirage
AltGr has left #mirage [#mirage]
andreas has quit [Quit: Leaving.]
philtor_ has joined #mirage
djs55 has quit [Quit: Leaving.]
philtor_ has quit [Ping timeout: 264 seconds]
tlockney_away is now known as tlockney
dsheets has quit [Ping timeout: 245 seconds]
englishm has joined #mirage
djs55 has joined #mirage
tlockney is now known as tlockney_away
thomasga has joined #mirage
tlockney_away is now known as tlockney
dsheets has joined #mirage
thomasga has quit [Quit: Leaving.]
englishm_ has joined #mirage
englishm has quit [*.net *.split]
tizoc has quit [*.net *.split]
tizoc has joined #mirage
djs55 has quit [Quit: Leaving.]
andreas has joined #mirage
tlockney is now known as tlockney_away
philtor_ has joined #mirage
roarde has joined #mirage
roarde has left #mirage ["Leaving"]
djs55 has joined #mirage
tlockney_away is now known as tlockney
philtor_ has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 240 seconds]
djs55 has quit [Quit: Leaving.]
philtor has quit [Ping timeout: 240 seconds]
djs55 has joined #mirage
englishm_ has quit [Remote host closed the connection]
englishm has joined #mirage
philtor_ has joined #mirage
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
djs55 has quit [Quit: Leaving.]
englishm has quit [Remote host closed the connection]