X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fhttp_getter%2Fmain.ml;h=199a8b463f5920e66eaee3ff8681b12a1b494e73;hb=72dae1a44bbed06ff9daeadf53671e109a1b882f;hp=572e9de1b932419203400a630186111002fec218;hpb=409e7b1572d079d1cdce819cf2b1ac7831ea9850;p=helm.git

diff --git a/daemons/http_getter/main.ml b/daemons/http_getter/main.ml
index 572e9de1b..199a8b463 100644
--- a/daemons/http_getter/main.ml
+++ b/daemons/http_getter/main.ml
@@ -263,7 +263,7 @@ let respond_xslt patch_xslt xslt_name outchan =
 
   (* thread action *)
 
-let callback ((req: Http_types.request), outchan) =
+let callback (req: Http_types.request) outchan =
   try
     Http_getter_logger.log ("Connection from " ^ req#clientAddr);
     Http_getter_logger.log ("Received request: " ^ req#uri);
@@ -334,11 +334,6 @@ let callback ((req: Http_types.request), outchan) =
           log_failure msg;
           return_html_error ("uncaught_exception", msg) msg outchan)
 
-let callback req outchan =
-  HExtlib.finally
-    (fun () -> try close_out outchan with Sys_error _ -> ())
-    callback (req, outchan)
-
 let batch_update = ref false      
 
 let args = [ ]
@@ -354,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