1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# change to 'no' or uncomment to use the default setting in /etc/default/rcS
VERBOSE=yes
# The home directory of the Java Runtime Environment (JRE). You need at least
# Java 17. If JAVA_HOME is not set, some common directories for OpenJDK and
# the Oracle JDK are tried.
#JAVA_HOME=
# Extra options to pass to the JVM
#JAVA_OPTIONS="-Djava.awt.headless=true"
# Timeout in seconds for the shutdown of all webapps
#JETTY_SHUTDOWN=30
# Additional arguments to pass to Jetty
#JETTY_ARGS=
# Jetty uses a directory to store temporary files like unpacked webapps
#JETTY_TMP=/var/cache/jetty12
# Default for number of days to keep old log files in /var/log/jetty12/
#LOGFILE_DAYS=14
|
