diff --git a/policeSecurityServer/Jenkinsfile b/policeSecurityServer/Jenkinsfile index 6556f19..be9e6bf 100644 --- a/policeSecurityServer/Jenkinsfile +++ b/policeSecurityServer/Jenkinsfile @@ -25,7 +25,8 @@ pipeline { script{ def remote = [:] remote.name = 'serverRoot' - remote.host = '118.253.177.137:55555' + remote.host = '118.253.177.137' + remote.port = 55555 remote.allowAnyHosts = true withCredentials([usernamePassword(credentialsId: '4', passwordVariable: 'password', usernameVariable: 'username')]) { remote.user = "${username}"