]> matita.cs.unibo.it Git - helm.git/blobdiff - DEVEL/ocaml-http/http_types.mli
- removed Http_daemon.{start,start\}
[helm.git] / DEVEL / ocaml-http / http_types.mli
index 8d58326550bfac4d54564fde11a17d9789ae5837..7206d18dce28c3a59c09a85cbf365643c0ab3ffd 100644 (file)
@@ -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} *)