From 483fbc5ef4df1a28e4612a54fd6d4d2b2111244f Mon Sep 17 00:00:00 2001 From: simon987 Date: Tue, 3 Dec 2019 10:28:07 -0500 Subject: [PATCH] Update Jenkinsfile --- jenkins/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 5b1dec5..e7992e0 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -7,7 +7,7 @@ remote.knownHosts = '/var/lib/jenkins/.ssh/known_hosts' remote.allowAnyHosts = true remote.retryCount = 3 remote.retryWaitSec = 3 -remote.port 2299 +remote.port = 2299 logLevel = 'FINER' pipeline {