X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Focaml-http%2Fhttp_types.ml;h=f31f81679bde7c3a3b86e16a967135e7b49d4e4c;hb=8b8e35fa200b0e9bfa79481c2d65bebae425406c;hp=5c88b212ed010990015a936355824685f6d737d8;hpb=d17988855a2e85dc2db641d11ce481c266038ef3;p=helm.git

diff --git a/DEVEL/ocaml-http/http_types.ml b/DEVEL/ocaml-http/http_types.ml
index 5c88b212e..f31f81679 100644
--- a/DEVEL/ocaml-http/http_types.ml
+++ b/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;
 }