From 7ae4c401601155b66b129723923fc74d56c61f2f Mon Sep 17 00:00:00 2001
From: ubuntu <admin@allarddcs.nl>
Date: Wed, 29 Oct 2025 13:52:26 +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"/>