From 70e62f467d63b1268facdd73d45fa62ed03f5e89 Mon Sep 17 00:00:00 2001
From: Jens Pelzetter <jens@jp-digital.de>
Date: Sun, 16 Aug 2020 11:07:01 +0200
Subject: [PATCH] Use properties file for configuring Wildfly ports

Former-commit-id: a9645cbe72a73d23ef4106c574670168110a758d
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 868248da0..91e5ba475 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 -Djboss.http.port=8180 -Djboss.https.port=8543' 
+                    sh 'mvn clean verify -Prun-its-with-wildfly-h2mem -Dwildfly.propertiesFiles=/srv/libreccm-wildfly.properties' 
                 }
             }
         }