X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=DEVEL%2Focaml-http%2Fhttp_daemon.ml;h=1b922ea16532947f902a7a00a7f44e8057efa3b8;hb=6f769078a23e6c63706a86a35fdc4e8ba08a5414;hp=2457c8a7337587336cda7603e4086f7d7ea47a15;hpb=e8ca5a22b5e7174c27f1855c2687798544e2103e;p=helm.git

diff --git a/DEVEL/ocaml-http/http_daemon.ml b/DEVEL/ocaml-http/http_daemon.ml
index 2457c8a73..1b922ea16 100644
--- a/DEVEL/ocaml-http/http_daemon.ml
+++ b/DEVEL/ocaml-http/http_daemon.ml
@@ -454,6 +454,7 @@ let daemon_spec
   { default_spec with
       address = address;
       auth = auth;
+      auto_close = auto_close;
       callback = callback;
       mode = mode;
       port = port;