From cc49a8c9ca40eaf0dce444c3028f88de89f9578f Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Tue, 12 Feb 2019 12:01:23 -0500
Subject: Improve timeout situation drastically

---
 spawner.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 spawner.sh

(limited to 'spawner.sh')

diff --git a/spawner.sh b/spawner.sh
new file mode 100755
index 0000000..7fd328b
--- /dev/null
+++ b/spawner.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+limit="${TIMEOUT:-45m}"
+echo "This job will automatically terminate after: ${limit}"
+timeout -sTERM ${limit} $@
+retval=$?
+if [[ ${retval} == 124 ]]; then
+    echo "Job terminated: ${limit} time limit reached"
+fi
+exit ${retval}
-- 
cgit 


From 7e5eec2af519441606c703f3c8ccd0fcfe63c7ff Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Tue, 12 Feb 2019 12:24:49 -0500
Subject: KILL instead of TERM

---
 spawner.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'spawner.sh')

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}
-- 
cgit