X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_tcp_server.mli;h=881fb58fa2dcfe520c2498c8bcbf25df7749fb11;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=230b838a231166b48f821af22b126da7c49cc3c8;hpb=dfc2157c1067b9958c182b25df103744cc8feb27;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_tcp_server.mli b/helm/DEVEL/ocaml-http/http_tcp_server.mli
index 230b838a2..881fb58fa 100644
--- a/helm/DEVEL/ocaml-http/http_tcp_server.mli
+++ b/helm/DEVEL/ocaml-http/http_tcp_server.mli
@@ -1,8 +1,11 @@
-val ocaml_builtin:
-  sockaddr:Unix.sockaddr -> timeout:int option ->
-  (in_channel -> out_channel -> unit) ->
-    unit
-val simple:
-  sockaddr:Unix.sockaddr -> timeout:int option ->
-  (in_channel -> out_channel -> unit) ->
-    unit
+
+  (* 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
+