diff options
Diffstat (limited to 'bin/common-functions.sh')
| -rwxr-xr-x | bin/common-functions.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index 7664337b..fd524d44 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -24,7 +24,7 @@ if [ "${0:0:5}" != "/tmp/" ] ; then # this hack makes it possible to overwrite long running scripts # anytime...) echo "$(date) - start running \"$0\" as \"$TTT\" using \"$@\" as arguments." - $TTT "$@" + /srv/jenkins/bin/setsid.py $TTT "$@" exit $? # cleanup is done automatically via trap else |