Fold SIGINT to SIGTERM

SIGINT fails to kill subshells for some reason.
pull/1046/head
Eugene Kim 6 years ago
parent af815eb850
commit 0c028a7b7f
  1. 2
      scripts/node.sh

@ -195,7 +195,7 @@ cleanup() {
kill_sig="${trap_sig}" kill_sig="${trap_sig}"
case "${kill_sig}" in case "${kill_sig}" in
0|EXIT) kill_sig=TERM;; 0|EXIT|2|INT) kill_sig=TERM;;
esac esac
case "${check_update_pid+set}" in case "${check_update_pid+set}" in

Loading…
Cancel
Save