X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2Fhttp_types.mli;h=7206d18dce28c3a59c09a85cbf365643c0ab3ffd;hb=ed00f62bcbcbc4abab9e7e2737e3668ecde64515;hp=8d58326550bfac4d54564fde11a17d9789ae5837;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/http_types.mli b/helm/software/DEVEL/ocaml-http/http_types.mli
index 8d5832655..7206d18dc 100644
--- a/helm/software/DEVEL/ocaml-http/http_types.mli
+++ b/helm/software/DEVEL/ocaml-http/http_types.mli
@@ -418,6 +418,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} *)