path: root/www/jakarta-tomcat3/pkg-deinstall

#!/bin/sh
PID_FILE=/var/run/jakarta-tomcat.pid
if [ -e ${PID_FILE} ]; then
	echo -n "Jakarta Tomcat is still running."
	/bin/kill `cat ${PID_FILE}`
	rm -f ${PID_FILE}
	echo " Stopped."
fi