Spurious "we need to prove" at the beginning of Intros+LetTac are no longer

[helm.git] / helm / software / DEVEL / ocaml-http / http_types.mli

diff --git a/helm/software/DEVEL/ocaml-http/http_types.mli b/helm/software/DEVEL/ocaml-http/http_types.mli
index 8d58326550bfac4d54564fde11a17d9789ae5837..82967c5e4dda7903fe9493d9a384b54edb290728 100644 (file)
--- a/helm/software/DEVEL/ocaml-http/http_types.mli
+++ b/helm/software/DEVEL/ocaml-http/http_types.mli
@@ -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
@@ -180,6 +179,9 @@ exception Malformed_query_part of string * string
   (** invalid request URI encountered *)
 exception Malformed_request_URI of string
 
+  (** malformed cookies *)
+exception Malformed_cookies of string
+
   (** malformed request received *)
 exception Malformed_request of string
 
@@ -285,6 +287,8 @@ class type request = object
       (** @return the list of all parameter received via POST *)
     method params_POST: (string * string) list
 
+    method cookies: (string * string) list option
+
       (** @return authorization information, if given by the client *)
     method authorization: auth_info option
 
@@ -418,6 +422,10 @@ type daemon_spec = {
     (** timeout in seconds after which an incoming HTTP request will be
     * terminated closing the corresponding TCP connection; None disable the
     * timeout *)
+  auto_close: bool;
+    (** whether ocaml-http will automatically close the connection with the
+     * client after callback has completed its execution. If set to true, close
+     * will be attempted no matter if the callback raises an exception or not *)
 }
 
   (** {2 OO representation of other HTTP entities} *)