X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=f31f81679bde7c3a3b86e16a967135e7b49d4e4c;hb=c94c28d6675c7ff4608b065fdb765cdd40826088;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..f31f81679 100644
--- a/helm/software/DEVEL/ocaml-http/http_types.ml
+++ b/helm/software/DEVEL/ocaml-http/http_types.ml
@@ -215,5 +215,6 @@ type daemon_spec = {
   root_dir: string option;
   exn_handler: (exn -> out_channel -> unit) option;
   timeout: int option;
+  auto_close: bool;
 }