diff options
Diffstat (limited to 'spawner.sh')
-rwxr-xr-x | spawner.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,9 +1,9 @@ #!/bin/bash limit="${TIMEOUT:-45m}" echo "This job will automatically terminate after: ${limit}" -timeout -sTERM ${limit} $@ +timeout -sKILL ${limit} $@ retval=$? -if [[ ${retval} == 124 ]]; then +if [[ ${retval} == 124 ]] || [[ ${retval} == 137 ]]; then echo "Job terminated: ${limit} time limit reached" fi exit ${retval} |