diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/score_wrapper.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/score_wrapper.sh b/src/score_wrapper.sh index 8a5beb1..4e1a6bd 100755 --- a/src/score_wrapper.sh +++ b/src/score_wrapper.sh @@ -2,15 +2,17 @@ function clean_exit { - - kill -s 9 $pid + echo -e "\nInterrupt caught. Exiting cleanly..." + echo "killing $pid" + kill -11 $pid + sleep 1 exit } -trap clean_exit SIGHUP SIGINT +trap clean_exit SIGINT echo "score_mers.py $1 $2 $3 $4 &" -score_mers.py $1 $2 $3 $4 +score_mers.py $1 $2 $3 $4 & </dev/null pid=$! wait $pid |