X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fhttp_getter%2Fmain.ml;h=199a8b463f5920e66eaee3ff8681b12a1b494e73;hb=237e58b77eda53354d9621e3e2f684c30f7da763;hp=c200c161dbe931a2a6c04f719dae3b12f1cab3fe;hpb=5cb95a2e44f979183a8c3e39baa3b4e7cfaf8182;p=helm.git

diff --git a/daemons/http_getter/main.ml b/daemons/http_getter/main.ml
index c200c161d..199a8b463 100644
--- a/daemons/http_getter/main.ml
+++ b/daemons/http_getter/main.ml
@@ -349,6 +349,7 @@ let main () =
   let d_spec = Http_daemon.daemon_spec
      ~mode:`Thread ~timeout:(Some 600) 
      ~port:(Lazy.force Http_getter_env.port)
+     ~auto_close:true
      ~callback:callback ()
   in
   try