diff options
Diffstat (limited to 'bin/common-functions.sh')
| -rwxr-xr-x | bin/common-functions.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index b74f7ecf..3ce8bcb5 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -43,8 +43,7 @@ if [ "${0:0:5}" != "/tmp/" ] ; then echo "$(date -u) - start running \"$0\" (md5sum $(md5sum $0|cut -d ' ' -f1)) as \"$TTT\" on $(hostname)." echo # this is the "hack": call ourself as a copy in /tmp again - # (setsid is not related to this hack. see commit log for 24deda5a8 it.) - /srv/jenkins/bin/setsid.py $TTT "$@" + $TTT "$@" exit $? # cleanup is done automatically via trap else |