Commit ebe2031d authored by François Bobot's avatar François Bobot

[Debug] use Sys.sigint instead of 24

    in order to be more platform independent
parent 21a145eb
......@@ -185,7 +185,7 @@ module Stats = struct
(** SIGXCPU cpu time limit reached *)
let _ =
(** TODO? have a possible callback for printing different message*)
Sys.signal 24 (Sys.Signal_handle (fun _ -> exit 2))
Sys.signal Sys.sigint (Sys.Signal_handle (fun _ -> exit 2))
let register ~print ~name ~init =
let s = {name; printer = print; value = init} in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment