File jettyrc of Package jetty5.import5813

Overview Repositories Revisions Requests Users Attributes Meta

File jettyrc of Package jetty5.import5813

# 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"

Places

File jettyrc of Package jetty5.import5813

Places