X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2Fhttp_daemon.ml;h=1b922ea16532947f902a7a00a7f44e8057efa3b8;hb=64d85c0d26a496e40fe82c6eb1980567359ea3b8;hp=2457c8a7337587336cda7603e4086f7d7ea47a15;hpb=c94c28d6675c7ff4608b065fdb765cdd40826088;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/http_daemon.ml b/helm/software/DEVEL/ocaml-http/http_daemon.ml
index 2457c8a73..1b922ea16 100644
--- a/helm/software/DEVEL/ocaml-http/http_daemon.ml
+++ b/helm/software/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;