blob: 49564b7d1d70ce58fd5024057da446e4258efea5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#JAVA_HOME=${JAVA_HOME:-/usr/lib/jvm/java-17-openjdk}
#JAVA=$JAVA_HOME/bin/java
#JAVA_OPTIONS=
#JETTY_ARGS=
JETTY_PORT=8080
JETTY_USER=jetty11
JETTY_HOME=/usr/share/jetty11
JETTY_PID=/run/jetty11/jetty.pid
# 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
|