Commit f60fc21a authored by Peter Kovary's avatar Peter Kovary
Browse files

fix keep when interrupted

parent 7332376f
......@@ -3,7 +3,7 @@ set -e
SID=$(ps -p $$ --no-headers -o sid)
die () {
rm -f "$outputFile"
[ "$keep" = false ] && rm -f "$outputFile"
pkill -s $SID --signal SIGINT
trap die EXIT
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