From a20aee494cfb3a64bd9c7a58e0d2cf9c325d5b84 Mon Sep 17 00:00:00 2001
From: Jens Pelzetter <jens@jp-digital.de>
Date: Sun, 16 Aug 2020 10:42:08 +0200
Subject: [PATCH] Use port 8180 for Wildfly HTTP

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ff45c16ee..420b1e5bc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
         stage('Build and Test')  {
             steps {
                 dir('') {
-                    sh 'mvn clean verify -Prun-its-with-wildfly-h2mem -Dwildfly.port=8180' 
+                    sh 'mvn clean verify -Prun-its-with-wildfly-h2mem -Djboss.http.port=8180 -Djboss.https.port=8443' 
                 }
             }
         }