jetty7/jetty.default

   1 #JETTY_HOME="/opt/jetty7"
   2 #JETTY_CONF="/etc/jetty.conf"
   3 #TMPDIR=/tmp
   4 #JETTY_START=/opt/jetty7/start.jar
   5 #JETTY_PORT=
   6 #JETTY_LOGS=
   7 #JAVA_OPTIONS=
   8 #JAVA=/usr/bin/java