mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-13 03:03:15 +00:00
9 lines
188 B
Bash
9 lines
188 B
Bash
#!/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
|