X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_tcp_server.mli;h=881fb58fa2dcfe520c2498c8bcbf25df7749fb11;hb=9d2fb169bfc461d247338137458cbecc924d9208;hp=7c038a570cc698c81a78a55ca52ace171fe6b844;hpb=9a072f192471daeca8cb409e991f0073b1d4271f;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_tcp_server.mli b/helm/DEVEL/ocaml-http/http_tcp_server.mli
index 7c038a570..881fb58fa 100644
--- a/helm/DEVEL/ocaml-http/http_tcp_server.mli
+++ b/helm/DEVEL/ocaml-http/http_tcp_server.mli
@@ -1,3 +1,11 @@
+
+  (* servers *)
+
 val simple:         Http_types.tcp_server
 val ocaml_builtin:  Http_types.tcp_server
 val thread:         Http_types.tcp_server
+
+  (* low level functions *)
+
+val init_socket:    Unix.sockaddr -> Unix.file_descr
+