diff options
author | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-02-15 08:25:51 -0500 |
---|---|---|
committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-02-15 08:25:51 -0500 |
commit | e1246e956b1a41514f9fa4bdf593b0c436d171fe (patch) | |
tree | c13b42efb32be8f145c27be8a7152b236872ad50 /spawner.sh | |
parent | 43933b5ec30441536b07f09a0a130624728dab77 (diff) | |
download | docker-buildsys-stable.tar.gz |
* Use SIGTERM instead of SIGKILL -- again
Diffstat (limited to 'spawner.sh')
-rwxr-xr-x | spawner.sh | 8 |
1 files changed, 1 insertions, 7 deletions
@@ -1,9 +1,3 @@ #!/bin/bash limit="${TIMEOUT:-45m}" -echo "This job will automatically terminate after: ${limit}" -timeout -sKILL ${limit} $@ -retval=$? -if [[ ${retval} == 124 ]] || [[ ${retval} == 137 ]]; then - echo "Job terminated: ${limit} time limit reached" -fi -exit ${retval} +exec timeout -sTERM ${limit} "$@" |