X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_tcp_server.mli;h=7c038a570cc698c81a78a55ca52ace171fe6b844;hb=refs%2Ftags%2FV_0_0_6;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..7c038a570 100644
--- a/helm/DEVEL/ocaml-http/http_tcp_server.mli
+++ b/helm/DEVEL/ocaml-http/http_tcp_server.mli
@@ -1,8 +1,3 @@
-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
+val simple:         Http_types.tcp_server
+val ocaml_builtin:  Http_types.tcp_server
+val thread:         Http_types.tcp_server