use name for signal instead of numerical value

This commit is contained in:
Vincent Bernardoff 2016-10-10 14:23:14 +02:00
parent 17cb9ccc4a
commit 4374b1725e

View File

@ -306,7 +306,7 @@ let may f = function
let init_signal () = let init_signal () =
let handler id = try Utils.exit id with _ -> () in let handler id = try Utils.exit id with _ -> () in
ignore (Lwt_unix.on_signal 2 handler : Lwt_unix.signal_handler_id) ignore (Lwt_unix.on_signal Sys.sigint handler : Lwt_unix.signal_handler_id)
let main () = let main () =
Random.self_init () ; Random.self_init () ;