diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-11-27 20:05:52 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-11-27 20:06:52 +0100 |
| commit | 94e4b2c4f9e9e7099ddc07c9efc09543ec056baa (patch) | |
| tree | 45475d10df323bb36ec50c3118851040a3cd7707 /bin | |
| parent | e1b38757b2fb2cbf955c5064fc986032db649b87 (diff) | |
| download | jenkins.debian.net-94e4b2c4f9e9e7099ddc07c9efc09543ec056baa.tar.xz | |
reproducible: use ssh with -o 'BatchMode = yes' to set ServerAliveInterval = 300
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/jenkins_master_wrapper.sh | 4 |
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" |