X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=18e2a88ab43851a5be00efc900afbdcc4d7dbd4c;hb=03166ee15ae4ee854360ba49732015231edb8bb6;hp=79ccf783a53e6835f154b4d2d3db21d114b7c8c8;hpb=697d0d8857366485238a67386d0ce8f18404ac42;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index 79ccf783a..18e2a88ab 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 =
@@ -148,5 +156,6 @@ class type request =
     method uri: string
     method path: string
     method param: string -> string
+    method param_all: string -> string list
     method params: (string * string) list
   end