From ea1ec1b1b31fb20c86f1af942c9ef1bdcbd7fc73 Mon Sep 17 00:00:00 2001
From: simon987 <me@simon987.net>
Date: Sun, 27 Oct 2019 22:20:28 -0400
Subject: [PATCH] jenkins hotfix

---
 jenkins/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile
index 1765423..8e4aeaf 100644
--- a/jenkins/Jenkinsfile
+++ b/jenkins/Jenkinsfile
@@ -8,6 +8,7 @@ remote.allowAnyHosts = true
 remote.retryCount = 3
 remote.retryWaitSec = 3
 logLevel = 'FINER'
+remote.port = 2299
 
 pipeline {
     agent any