path: root/www/jakarta-tomcat4/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