From 0c028a7b7fa75d99e74580484a04a5103456f466 Mon Sep 17 00:00:00 2001 From: Eugene Kim Date: Fri, 14 Jun 2019 21:12:05 +0000 Subject: [PATCH] Fold SIGINT to SIGTERM SIGINT fails to kill subshells for some reason. --- scripts/node.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/node.sh b/scripts/node.sh index 4e731ffac..85886509a 100755 --- a/scripts/node.sh +++ b/scripts/node.sh @@ -195,7 +195,7 @@ cleanup() { kill_sig="${trap_sig}" case "${kill_sig}" in - 0|EXIT) kill_sig=TERM;; + 0|EXIT|2|INT) kill_sig=TERM;; esac case "${check_update_pid+set}" in