pkg://jetty4-4.2.20-1jpp.src.rpm:10543741/jetty4.script
info downloads
#!/bin/sh
#
# Wrapper script for Jetty4, to be sure it will allways
# be run with correct user profile (jetty4 by default)
#
# derived from stuff in tomcat4.init
#
# Gomez Henri <hgomez@slib.fr>
# Keith Irwin <keith_irwin@non.hp.com>
# Nicolas Mailhot <nicolas.mailhot@one2team.com>
#
# version 1.01 - Fix webapps dir permissions
#
[ -r /etc/java/java.conf ] && . /etc/java/java.conf
export JAVA_HOME
# Path to the jetty launch script
JETTY_SCRIPT=/usr/bin/djetty4
# Jetty name :)
JETTY_PROG=jetty4
# if JETTY_USER is not set, use jetty4
if [ -z "$JETTY_USER" ]; then
JETTY_USER="jetty4"
fi
# if JETTY_HOME is not set, use /usr/share/jetty4
if [ -z "$JETTY_HOME" ]; then
JETTY_HOME="/usr/share/jetty4"
fi
rebuild-jar-repository -s ${JETTY_HOME}/ext
RETVAL=0
su - $JETTY_USER -c "$JETTY_SCRIPT $@"
RETVAL=$?
exit $RETVAL