KILL instead of TERM

1 files changed, 2 insertions, 2 deletions

diff --git a/spawner.sh b/spawner.sh
index 7fd328b..10553d7 100755
--- a/spawner.sh
+++ b/spawner.sh
@@ -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}