diff options
| author | znerd <znerd@FreeBSD.org> | 2002-02-04 21:40:56 +0800 |
|---|---|---|
| committer | znerd <znerd@FreeBSD.org> | 2002-02-04 21:40:56 +0800 |
| commit | 3a071bcb9cd0b29b6daead0576efe5f4cb8b0e08 (patch) | |
| tree | 6b2f80a970115e33c0d4452c63e7392e58d96ccd /www/jakarta-tomcat4 | |
| parent | 24dfb93eee0d602367712e73141614176a97f76f (diff) | |
| download | freebsd-ports-gnome-3a071bcb9cd0b29b6daead0576efe5f4cb8b0e08.tar.gz freebsd-ports-gnome-3a071bcb9cd0b29b6daead0576efe5f4cb8b0e08.tar.zst freebsd-ports-gnome-3a071bcb9cd0b29b6daead0576efe5f4cb8b0e08.zip | |
Run when deinstalling Tomcat. It will stop Tomcat, if it is running.
Diffstat (limited to 'www/jakarta-tomcat4')
| -rw-r--r-- | www/jakarta-tomcat4/pkg-deinstall | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/www/jakarta-tomcat4/pkg-deinstall b/www/jakarta-tomcat4/pkg-deinstall new file mode 100644 index 000000000000..3a3071532612 --- /dev/null +++ b/www/jakarta-tomcat4/pkg-deinstall @@ -0,0 +1,8 @@ +#!/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 |