#! /bin/sh -e
#
# /etc/init.d/tomcat4 -- startup script for the Tomcat 4.0 servlet engine
#
# Written by Miquel van Smoorenburg <miquels@cistron.nl>.
# Modified for Debian GNU/Linux	by Ian Murdock <imurdock@gnu.ai.mit.edu>.
# Modified for Tomcat by Stefan Gybas <sgybas@debian.org>.

PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin
NAME=catalina.sh
DESC="Tomcat 4.1 servlet engine"
CATALINA_HOME=/usr/local/tomcat4
DAEMON=$CATALINA_HOME/bin/$NAME
TOMCAT4_USER="tomcat4"
JAVA_HOME="/usr/local/kaffe"
CATALINA_OPTS=""

test -f $DAEMON || exit 0

export JAVA_HOME
export CATALINA_OPTS

PIDFILE="/var/run/$NAME.pid"
LOGDIR="$CATALINA_HOME/logs"
WEBAPPDIR="$CATALINA_HOME/webapps"

case "$1" in
  start)
	echo -n "Starting $DESC using Java from $JAVA_HOME: "
	su -p -s /bin/sh $TOMCAT4_USER -c "\"$DAEMON\" start" \
	    >>"$LOGDIR/catalina.out" 2>&1
	echo "$NAME."
	;;

  stop)
	echo -n "Stopping $DESC: "
	su -p $TOMCAT4_USER -c "\"$DAEMON\" stop" >/dev/null 2>&1 || true
	echo "$NAME."
	;;

  restart|force-reload)
	$0 stop
	sleep 1
	$0 start
	;;

  *)
	echo "Usage: /etc/init.d/tomcat4 {start|stop|restart|force-reload}" >&2
	exit 1
	;;
esac

exit 0