File jettyrc of Package jetty5
# System-wide configuration file for jetty5 services
# This will be sourced by jetty5 and any secondary service
# JAVA_HOME
# Where your java installation lives
JAVA_HOME="/etc/alternatives/jre"
# JAVA_OPTS
# You can pass some parameters to java here if you wish to
#JAVA_OPTS="-Xminf0.1 -Xmaxf0.3"
# JETTY_USER
# What user should run jetty5
JETTY_USER="jetty5"
# JETTY_HOME
# Where Jetty is installed. If not set, the script will try go
# guess it by first looking at the invocation path for the script,
# and then by looking in standard locations as $HOME/opt/jetty
# and /opt/j(gvim:11474): Gdk-CRITICAL **: gdk_x11_xatom_to_atom_for_display: assertion `xatom != None' failed
# set to this value for use by configure.xml files, f.e.:
JETTY_HOME="/usr/share/jetty5"
# JETTY_CONSOLE
# Where Jetty console output should go. Defaults to first writeable of
# /dev/console
# /dev/tty
JETTY_CONSOLE="/var/log/jetty5/jetty-console.out"
# JETTY_PORT
# Override the default port for Jetty servers. If not set then the
# default value in the xml configuration file will be used. The java
# system property "jetty.port" will be set to this value for use in
# configure.xml files. For example, the following idiom is widely
# used in the demo config files to respect this property in Listener
# configuration elements:
#
# <Set name="Port"><SystemProperty name="jetty.port" default="8080"/></Set>
#
# Note: that the config file could ignore this property simply by saying:
#
# <Set name="Port">8080</Set>
#JETTY_PORT=8080
# JETTY_PID
# The jetty PID file
#JETTY_PID="/var/run/jetty5/jetty5.pid"