blob: f68e98a8612bd0fa27b22d7d78eb0cc65f8b15a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#JAVA_HOME=${JAVA_HOME:-/usr/lib/jvm/java-23-openjdk}
#JAVA=$JAVA_HOME/bin/java
#JAVA_OPTIONS=
#JETTY_ARGS=
JETTY_PORT=8080
JETTY_USER=jetty
JETTY_HOME=/usr/share/jetty
JETTY_RUN=/run/jetty
JETTY_LOGS=/var/log/jetty
JETTY_CONSOLE=$JETTY_LOGS/console.log
# Autodetected variables:
JETTY_BASE=$JETTY_HOME
JETTY_PID=$JETTY_RUN/jetty.pid
JETTY_STATE=$JETTY_RUN/jetty.state
JETTY_CONF=$JETTY_BASE/etc/jetty.conf
|