X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=216b9e02fda3389aa468841255fdbe5f2291b422;hb=refs%2Fheads%2Fmatita-lablgtk3;hp=5c88b212ed010990015a936355824685f6d737d8;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/http_types.ml b/helm/software/DEVEL/ocaml-http/http_types.ml
index 5c88b212e..216b9e02f 100644
--- a/helm/software/DEVEL/ocaml-http/http_types.ml
+++ b/helm/software/DEVEL/ocaml-http/http_types.ml
@@ -1,8 +1,7 @@
-
 (*
   OCaml HTTP - do it yourself (fully OCaml) HTTP daemon
 
-  Copyright (C) <2002-2005> Stefano Zacchiroli <zack@cs.unibo.it>
+  Copyright (C) <2002-2007> Stefano Zacchiroli <zack@cs.unibo.it>
 
   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU Library General Public License as
@@ -117,6 +116,7 @@ exception Malformed_URL of string
 exception Malformed_query of string
 exception Malformed_query_part of string * string
 exception Malformed_request_URI of string
+exception Malformed_cookies of string
 exception Malformed_request of string
 exception Malformed_response of string
 exception Param_not_found of string
@@ -162,6 +162,7 @@ class type request = object
     method params: (string * string) list
     method params_GET: (string * string) list
     method params_POST: (string * string) list
+    method cookies: (string * string) list option
     method authorization: auth_info option
   end
 
@@ -215,5 +216,6 @@ type daemon_spec = {
   root_dir: string option;
   exn_handler: (exn -> out_channel -> unit) option;
   timeout: int option;
+  auto_close: bool;
 }