/etc/init.d/tomcat

tomcat (text/plain), 445 bytes, created by Tony Murray on 2003-03-21 13:40:18 UTC

#!/sbin/runscript
# tomcat init script by Tony Murray

TOMCAT_SCRIPT=/opt/jakarta/tomcat/bin/catalina.sh
TOMCAT_USER=tomcat

depend() {
	need net
	use mysql dns logger
}

start() {
	ebegin "Starting tomcat"
	export JAVA_HOME="`/bin/grep -e "JAVA_HOME" /etc/profile.env | sed -e "s/^.*'\(.*\)'$/\1/"`"
	su $TOMCAT_USER -c "$TOMCAT_SCRIPT start"
	eend $?
}

stop() {
	ebegin "Stopping tomcat"
	su $TOMCAT_USER -c "$TOMCAT_SCRIPT stop"
	eend $?
}