00:24 <dark_light> a socket connection is broken when Unix.recv returns 0 bytes. right? is it the only way to tell that the user has disconnected?

00:35 <dark_light> when the server receives the ^C character (end of text, 0x03 character) the socket stops receiving the text, but binary data might be using this character

00:40 <BetaTEST> in unix, recv returns -1 in case of error

00:44 <dark_light> really? it applies to ocaml's recv too?

00:44 <dark_light> and recv = 0, what means?

00:46 <dark_light> i am thinking in use Unix.establish_server instead..

06:11 <Svrog> hi

06:11 <Svrog> has anyone here recently tried to install godi under cygwin?

06:12 <dark_light> not me, but what is godi?

06:13 <Svrog> http://godi.ocaml-programming.de/

06:13 <Svrog> the only thing i need from there pretty much is ocamldap library - but i dont know whats worse, installing it through godi or doing it manually

06:13 <Svrog> it has a dozen dependancies all of which are a pain to build manually under cygwin

06:14 <dark_light> hmm.. well

06:14 <Svrog> godi should supposedly just work and sure enough on my mac it all build beautifully - but under cygwin i cant get past the bootstrap stage

06:14 <Svrog> builds*

06:15 <dark_light> you need ocamldap or ocamldep?

06:15 <Svrog> ocamldap

06:15 <dark_light> what is ocamldap?:)

06:15 <Svrog> ldap interface for caml

06:15 <dark_light> Ah.

06:16 <dark_light> i think installing the whole godi is better.. you might find some other libs useful too

06:16 <dark_light> but i am afraid i can't help you at all..

06:16 <dark_light> btw, intersting this godi

06:17 <Svrog> installing all of godi or just a number of packages doesnt matter - the problem is when i try to bootstrap godi

06:19 <dark_light> Svrog, what are the errors? and, your problem is when you initialize godi or when compiling?

06:19 <Svrog> problem is somewhere in the configure scripts - they dont seem to define all the macros such as HAVE_MEMSET

06:19 <Svrog> i tried to fix them up manually but there's always more and more of them

06:20 <Svrog> the script seems to detect them cause the log says "checking for memset... yes" but it doesn't add the macros to config.h

06:20 <dark_light> oh well :o

06:23 <Svrog> i dont know that much about autoconf and configure scripts... usually if the docs say something builds under cygwin i dont have to do that much to get stuff to build - but godi seems completely broken - i checked the mailing list and while there are a few people who appear to have a problem building under cygwin, they all got past the bootstrap stage

06:23 <Svrog> which is why i thought id check here

06:23 <Svrog> heh

06:24 <dark_light> maybe the ml gods are conspiring to you do not use such good tools under windows

06:24 <dark_light> :P

06:25 <Svrog> actually its going to be linux and windows - and in the end we'll most likely have to use either c++ or java heh

06:26 <Svrog> im hoping if i can get a prototype working in either erlang or caml (or haskell but i have an even bigger problem finding the right libs for haskell) then i might be able to convince management to let us use erlang or caml

06:27 <Svrog> erlang was my first choice - it comes with crypto libs, supports unicode, concurrency and i found an ldap lib - then i realized it doesnt support aes256 or sha256 heh

06:28 <dark_light> erlang? don't know this

06:28 <Svrog> www.erlang.org

06:29 <dark_light> Hm

06:31 <Svrog> if i had enough time i could just use haskell and write wrappers for ssl, ldap, etc myself - but this needs to be finished soon and i cant afford to waste time fiddling with that stuff

06:38 <dark_light> intersting that erlang..

06:40 <Svrog> yeah

07:19 <dark_light> anyone knows how can i tell the address of an user that are connecting to a server created with Unix.establish_server ?

07:21 <dark_light> i was attempting to create a good environment with the socket primitives but it was too hard for me :(

07:21 <fluxx> I don't think you can get it

07:22 <fluxx> no, wait

07:22 <dark_light> hmm

07:23 <fluxx> nope, I don't think that's possible

07:23 <fluxx> you would need to write your own. you could look at the ocaml implementation for an example..

07:23 <dark_light> i was wondering if it would be too hard to look at unix module code and simply modify what it pass to the calling function, but it don't seems to be written in ocaml..

07:23 <fluxx> oh, really

07:24 <fluxx> establish_server-function is written in ocaml

07:24 <fluxx> ocaml-src/otherlibs/unix/unix.ml

07:25 <dark_light> where can i find the ocaml-src path?

07:25 <fluxx> it's the extracted ocaml source

07:25 <fluxx> simply find for unix.ml

07:25 <dark_light> ah

07:28 <dark_light> downloading..

07:42 <dark_light> how nice! it's just to modify the server_fun inchan outchan to server_fun sockaddr inchan outchan. :o :o

07:48 <fluxx> a truly universal establish_server would also provide a function to be called before the fork, and allow its return value to be fed into the function

07:52 <dark_light> well, maybe..

07:54 <dark_light> i though to make compatible to the previous establish_server, with opt=value, but that way i must have to define a type for "establish_server input functions", and i give up

07:54 <dark_light> (well, i think variant types can be used with functions, but i never tried it)

09:29 <dark_light> i have a let commatch x = Str.string_match (Str.regexp ("^" ^ x)) input_string 0 function, and when i do if commatch "quit" then, it executes only when input_string = "quit", not when input_string begins with "quit".. i am just misusing the Str.regexp ("^" ^ x) thing?

09:30 <dark_light> ps; forgot it, it's working correctly.. (.....)

10:00 <pango> <dark_light> anyone knows how can i tell the address of an user that are connecting to a server created with Unix.establish_server ?

10:00 <pango> maybe Unix.getpeername

10:01 <fluxx> you need file_descr for that

10:01 <dark_light> hmm.. the problem is that i need a file_descr

10:01 <fluxx> establish_server doesn't give you that

10:01 <dark_light> but i have alredy solved this

10:01 <pango> you don't have the descriptor ? mmmh

10:01 <dark_light> i created a new establish_server that passes to the handler function the address

10:02 <pango> Unix.descr_of_{in,out}_channel ...

10:03 <fluxx> funny, I looked over the Unix manual page but apparently I searched for the wrong thing

10:05 <dark_light> pango, :o

10:05 <fluxx> damn I now wish there was a tty-code-level buffer in a terminal so I could look up _what_ I was searching for :)

16:01 <mnemonic> hi *

16:02 <dylan> hi .+

19:51 <TeXitoi> hi

19:55 <TeXitoi> the difference between v2 and v3 of Ocaml is only "Labels and variants" ?

20:05 <Smerdyakov> I don't know. I don't think I ever used OCaml before versions 3.*.

20:09 <TeXitoi> (that's because I've read a book about Ocaml 2)

20:11 <Smerdyakov> OK. If by "variants," you mean "polymorphic variants," then the two features you list are features that I never use, so maybe it's not a big deal. :)

20:12 <TeXitoi> ;-)

20:12 <TeXitoi> I talk about http://caml.inria.fr/pub/docs/manual-ocaml/manual006.html

20:13 <TeXitoi> the first line let me think that it's the only differences, but...

20:14 <Smerdyakov> Then I'm sure you can proceed as if that were so. I know there are new features like private row types in the latest releases, but really I suspect that all the changes are "advanced features" and maintain backward compatibility.

20:15 <TeXitoi> ok, thanks