]> matita.cs.unibo.it Git - helm.git/commit
- split init_socket_and_callback in two functions
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Dec 2002 16:43:38 +0000 (16:43 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Dec 2002 16:43:38 +0000 (16:43 +0000)
commitd1569b80cc7b9fd2ca7551f2eb74e2dc10b02443
treee6d5d0ef9dd6801bac3f0203f1ff7c18c10e567c
parent34a1ea600a101bec4e1cdc40bfbdec93d503fa51
- split init_socket_and_callback in two functions
- exported init_socket
helm/DEVEL/ocaml-http/http_tcp_server.ml
helm/DEVEL/ocaml-http/http_tcp_server.mli