From 0b27503f3066c12254a2117acf06e4a8ee12d227 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Mon, 27 Feb 2017 22:25:56 +0100 Subject: [PATCH] Shell: exit properly on `SIGTERM`. --- src/node/main/node_run_command.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/node/main/node_run_command.ml b/src/node/main/node_run_command.ml index 36af454d6..3384986d2 100644 --- a/src/node/main/node_run_command.ml +++ b/src/node/main/node_run_command.ml @@ -158,7 +158,8 @@ let init_rpc (rpc_config: Node_config_file.rpc) node = let init_signal () = let handler id = try Lwt_exit.exit id with _ -> () in - ignore (Lwt_unix.on_signal Sys.sigint handler : Lwt_unix.signal_handler_id) + ignore (Lwt_unix.on_signal Sys.sigint handler : Lwt_unix.signal_handler_id) ; + ignore (Lwt_unix.on_signal Sys.sigterm handler : Lwt_unix.signal_handler_id) let run ?verbosity ?sandbox (config : Node_config_file.t) = Lwt_utils.create_dir config.data_dir >>= fun () ->