# 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
