#!/bin/sh # # Wrapper script for Jetty5, to be sure it will allways # be run with correct user profile (jetty by default) # # derived from stuff in tomcat5.init # # Gomez Henri # Keith Irwin # Nicolas Mailhot # # 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/djetty # Jetty name :) JETTY_PROG=jetty # if JETTY_USER is not set, use jetty if [ -z "$JETTY_USER" ]; then JETTY_USER="jetty" fi # if JETTY_HOME is not set, use /usr/share/jetty if [ -z "$JETTY_HOME" ]; then JETTY_HOME="/usr/share/jetty" fi pushd ${JETTY_HOME}/ext rm -f jcert.jar ln -s $(build-classpath jsse/jcert) rm -f jnet.jar ln -s $(build-classpath jsse/jnet) rm -f jsse.jar ln -s $(build-classpath jsse/jsse) popd RETVAL=0 su - $JETTY_USER -c "$JETTY_SCRIPT $@" RETVAL=$? exit $RETVAL