]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/http_tcp_server.mli
Initial revision
[helm.git] / helm / DEVEL / ocaml-http / http_tcp_server.mli
index 230b838a231166b48f821af22b126da7c49cc3c8..881fb58fa2dcfe520c2498c8bcbf25df7749fb11 100644 (file)
@@ -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
+