From b41fa29fe467853f2c42da24b3dc8f7574880fe3 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 27 Oct 2014 13:33:31 +0100 Subject: g-i-i: trying to workaround the need for shifted key presses... --- bin/common-functions.sh | 1 + 1 file changed, 1 insertion(+) (limited to 'bin/common-functions.sh') 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 -- cgit v1.2.3-70-g09d2