From 612d5ae0e20da79c683baad5a075d29a3c4dd482 Mon Sep 17 00:00:00 2001 From: Devrim Date: Mon, 22 Apr 2024 22:28:15 +0300 Subject: [PATCH] fix: casa default file (#1041) Signed-off-by: Mustafa Baser --- templates/jetty/casa | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/templates/jetty/casa b/templates/jetty/casa index ba99202b..98f3a412 100644 --- a/templates/jetty/casa +++ b/templates/jetty/casa @@ -1,6 +1,6 @@ JAVA_HOME=%(jre_home)s JAVA=$JAVA_HOME/bin/java -JAVA_OPTIONS="-server -Xms%(casa_min_mem)sm -Xmx%(casa_max_mem)sm -XX:+DisableExplicitGC -Dgluu.base=%(gluuBaseFolder)s -Dserver.base=%(jetty_base)s/casa -Dlog.base=%(jetty_base)s/casa" -Dadmin.lock=%(jetty_base)s/casa/.administrable" +JAVA_OPTIONS="-server -Xms%(casa_min_mem)sm -Xmx%(casa_max_mem)sm -XX:+DisableExplicitGC -Dgluu.base=%(gluuBaseFolder)s -Dserver.base=%(jetty_base)s/casa -Dlog.base=%(jetty_base)s/casa -Dadmin.lock=%(jetty_base)s/casa/.administrable" JETTY_HOME=%(jetty_home)s JETTY_BASE=%(jetty_base)s/casa