#!/bin/sh
RUN_AS_USER=@SERVLET_USER@
JAVA_HOME=/usr/lib/jvm/java-6-sun
JETTY_HOME=@SERVLET_HOME_DIR@
JETTY_PID=${JETTY_HOME}/jetty.pid
ENV="env -i LANG=C JETTY_USER=${RUN_AS_USER} JETTY_HOME=${JETTY_HOME} JETTY_PID=${JETTY_PID} PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin JAVA_HOME=${JAVA_HOME}"
$ENV ${JETTY_HOME}/bin/jetty.sh $@