From: Stefano Zacchiroli Date: Mon, 3 Feb 2003 20:47:03 +0000 (+0000) Subject: fixed a syntax quirk to make ocamldoc happy X-Git-Tag: V_0_0_4_1~71 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5ffc56c57658a59ff7e98e176cac5212d12ec5cd;p=helm.git fixed a syntax quirk to make ocamldoc happy --- 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)