diff options
| -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" |