From 6363bc68264725f389fe947772b891d1baa19cd2 Mon Sep 17 00:00:00 2001 From: simon987 Date: Tue, 3 Dec 2019 10:28:40 -0500 Subject: [PATCH] Update Jenkinsfile --- jenkins/Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 215fbe8..01d439d 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -7,6 +7,7 @@ remote.knownHosts = '/var/lib/jenkins/.ssh/known_hosts' remote.allowAnyHosts = true remote.retryCount = 3 remote.retryWaitSec = 3 +remote.port = 2299 logLevel = 'FINER' pipeline {