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