From f3e432ef689bc3cbdad6b1b72c75b2b8ca399a1c Mon Sep 17 00:00:00 2001 From: simon987 Date: Tue, 3 Dec 2019 10:27:57 -0500 Subject: [PATCH] Update Jenkinsfile --- jenkins/Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 247a3c3..5b1dec5 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 {