]> matita.cs.unibo.it Git - helm.git/blobdiff - DEVEL/ocaml-http/http_types.ml
- removed Http_daemon.{start,start\}
[helm.git] / DEVEL / ocaml-http / http_types.ml
index 5c88b212ed010990015a936355824685f6d737d8..f31f81679bde7c3a3b86e16a967135e7b49d4e4c 100644 (file)
@@ -215,5 +215,6 @@ type daemon_spec = {
   root_dir: string option;
   exn_handler: (exn -> out_channel -> unit) option;
   timeout: int option;
+  auto_close: bool;
 }