From 248390cc64d5375d9b52e84c297184886fd8312a Mon Sep 17 00:00:00 2001
From: Allard Krings <asmin@alldcs.nl>
Date: Thu, 11 Jul 2024 09:29:02 +0000
Subject: [PATCH] server.xml aangepast

---
 src/main/liberty/config/server.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/liberty/config/server.xml b/src/main/liberty/config/server.xml
index 19c8554..decebbb 100755
--- a/src/main/liberty/config/server.xml
+++ b/src/main/liberty/config/server.xml
@@ -12,7 +12,7 @@
     <variable name="default.http.port" defaultValue="9080"/>
     <variable name="default.https.port" defaultValue="9443"/>
 
-    <webApplication location="guide-getting-started.war" contextRoot="/" />
+    <webApplication location="riscv64-olproperties.war" contextRoot="/" />
     
     <mpMetrics authentication="false"/>