author | Alberto Bertogli
<albertito@blitiri.com.ar> 2018-04-09 21:33:22 UTC |
committer | Alberto Bertogli
<albertito@blitiri.com.ar> 2018-04-09 21:51:01 UTC |
parent | 24af22ac35fd6b779efcd25e0c81826367f8b8dc |
test/util/lib.sh | +3 | -3 |
diff --git a/test/util/lib.sh b/test/util/lib.sh index 4fe2ece..6e1b4ea 100644 --- a/test/util/lib.sh +++ b/test/util/lib.sh @@ -19,9 +19,9 @@ function init() { rm -rf .mail # Set traps to kill our subprocesses when we exit (for any reason). - # https://stackoverflow.com/questions/360201/ - trap "exit" INT TERM - trap "kill 0" EXIT + trap ":" TERM # Avoid the EXIT handler from killing bash. + trap "exit 2" INT # Ctrl-C, make sure we fail in that case. + trap "kill 0" EXIT # Kill children on exit. } function chasquid() {