diff options
Diffstat (limited to 'jetty.default')
-rw-r--r-- | jetty.default | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/jetty.default b/jetty.default index 6303b4fa8e5d..49564b7d1d70 100644 --- a/jetty.default +++ b/jetty.default @@ -1,14 +1,12 @@ -#JAVA_HOME=${JAVA_HOME:-/usr/lib/jvm/java-8-openjdk/jre} +#JAVA_HOME=${JAVA_HOME:-/usr/lib/jvm/java-17-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 +JETTY_USER=jetty11 +JETTY_HOME=/usr/share/jetty11 +JETTY_PID=/run/jetty11/jetty.pid # Autodetected variables: #JETTY_BASE=$JETTY_HOME |