diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-27 13:33:31 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-27 13:33:41 +0100 |
commit | b41fa29fe467853f2c42da24b3dc8f7574880fe3 (patch) | |
tree | 93c35de6bf39df4c05df88e2ea1c2678eb770128 /bin/common-functions.sh | |
parent | 8c224e66e576b7549dc268193682960c1890567a (diff) | |
download | jenkins.debian.net-b41fa29fe467853f2c42da24b3dc8f7574880fe3.tar.xz |
g-i-i: trying to workaround the need for shifted key presses...
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 |