X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_tcp_server.ml;h=23fbc66de65b27dbfa1187da596458c319874ab8;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=f457e050a4bbf4bdfbe0270df84c5b089eccbb9d;hpb=49b2f18c645a86c950bdfcd241329afe37da4d7e;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_tcp_server.ml b/helm/DEVEL/ocaml-http/http_tcp_server.ml
index f457e050a..23fbc66de 100644
--- a/helm/DEVEL/ocaml-http/http_tcp_server.ml
+++ b/helm/DEVEL/ocaml-http/http_tcp_server.ml
@@ -35,7 +35,7 @@ let wrap_callback_w_timeout ~callback ~timeout ~timeout_callback =
   | Some timeout -> (* wrap callback setting an handler for ALRM signal and an
                     alarm that ring after timeout seconds *)
       (fun inchan outchan ->
-        ignore (Sys.signal Sys.sigalrm (Sys.Signal_handle ~timeout_callback));
+        ignore (Sys.signal Sys.sigalrm (Sys.Signal_handle timeout_callback));
         ignore (Unix.alarm timeout);
         callback inchan outchan)