From 4374b1725e2f5e4ee86e03d9f131c5e17e9005f2 Mon Sep 17 00:00:00 2001 From: Vincent Bernardoff Date: Mon, 10 Oct 2016 14:23:14 +0200 Subject: [PATCH] use name for signal instead of numerical value --- src/node_main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/node_main.ml b/src/node_main.ml index c9f243d63..a36c1e12d 100644 --- a/src/node_main.ml +++ b/src/node_main.ml @@ -306,7 +306,7 @@ let may f = function let init_signal () = 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 () = Random.self_init () ;