summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-11-27 20:05:52 +0100
committerHolger Levsen <holger@layer-acht.org>2015-11-27 20:06:52 +0100
commit94e4b2c4f9e9e7099ddc07c9efc09543ec056baa (patch)
tree45475d10df323bb36ec50c3118851040a3cd7707 /bin
parente1b38757b2fb2cbf955c5064fc986032db649b87 (diff)
downloadjenkins.debian.net-94e4b2c4f9e9e7099ddc07c9efc09543ec056baa.tar.xz
reproducible: use ssh with -o 'BatchMode = yes' to set ServerAliveInterval = 300
Diffstat (limited to 'bin')
-rwxr-xr-xbin/jenkins_master_wrapper.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/jenkins_master_wrapper.sh b/bin/jenkins_master_wrapper.sh
index 3a14321e..79c78f33 100755
--- a/bin/jenkins_master_wrapper.sh
+++ b/bin/jenkins_master_wrapper.sh
@@ -50,7 +50,7 @@ esac
# main
#
set +e
-ssh -p $PORT $NODE_NAME /bin/true
+ssh -o "BatchMode = yes" -p $PORT $NODE_NAME /bin/true
RESULT=$?
# abort job if host is down
if [ $RESULT -ne 0 ] ; then
@@ -60,5 +60,5 @@ if [ $RESULT -ne 0 ] ; then
fi
set -e
# finally
-exec ssh -p $PORT $NODE_NAME "$PARAMS"
+exec ssh -o "BatchMode = yes" -p $PORT $NODE_NAME "$PARAMS"