diff options
Diffstat (limited to 'bin/common-functions.sh')
-rwxr-xr-x | bin/common-functions.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index b8631473..cbc044f8 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -30,6 +30,7 @@ if [ "${0:0:5}" != "/tmp/" ] ; then # anytime...) # (setsid is not related to this hack. see commit log for 24deda5a8 it.) echo "$(date) - start running \"$0\" as \"$TTT\" using \"$@\" as arguments." + echo /srv/jenkins/bin/setsid.py $TTT "$@" exit $? # cleanup is done automatically via trap |