Verified Commit 6b6d1fef authored by Fangyi Zhou's avatar Fangyi Zhou
Browse files

Trap EXIT instead SIGINT

parent 63ef1116
......@@ -5,7 +5,7 @@ SID=$(ps -p $$ --no-headers -o sid)
die () {
pkill -s $SID --signal SIGINT
trap die SIGINT
trap die EXIT
location="$(dirname "$(readlink -f "$0")")"
pushd $location > /dev/null
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment