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