fixed problem with trap

8da900e4 · Riccardo Vicedomini · b2a5d472 · 8da900e4
Commit 8da900e4 authored Apr 25, 2020 by Riccardo Vicedomini
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 4 deletions

metaclade2 metaclade2 +2 -4

No files found.
--- a/metaclade2
+++ b/metaclade2
@@ -13,10 +13,8 @@
 #  with MetaCLADE2. If not, see <https://cecill.info/>.
 #

-# Pressing CTRL-C will stop the whole execution of the script
-trap ctrl_c INT; function ctrl_c() { exit 5; }
-# Exit from this script causes child processes (pending jobs) to stop execution
-trap 'kill $(jobs -p)' EXIT
+trap ctrl_c INT TERM ERR; function ctrl_c() { exit 5; }
+trap 'kill 0' EXIT


 CMD_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}" )" && pwd)