X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;fp=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=70c8fce63825b8036dd336c89f55ba9d9740ade3;hb=9a072f192471daeca8cb409e991f0073b1d4271f;hp=79ccf783a53e6835f154b4d2d3db21d114b7c8c8;hpb=9a15410edc3a5ad417fa05bbf914dc787cd152b3;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index 79ccf783a..70c8fce63 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -26,6 +26,13 @@ type version =
 
 type meth = [ `GET ]
 
+type daemon_mode = [ `Single | `Fork | `Thread ]
+
+type tcp_server =
+  sockaddr:Unix.sockaddr -> timeout:int option ->
+  (in_channel -> out_channel -> unit) ->
+    unit
+
 type informational_substatus =
   [ `Continue
   | `Switching_protocols
@@ -141,6 +148,7 @@ class type response =
     method setExpires: string -> unit
     method server: string
     method setServer: string -> unit
+    method toString: string
     method serialize: out_channel -> unit
   end
 class type request =