diff options
| author | Ernst de Haan <znerd@FreeBSD.org> | 2002-04-01 22:01:22 +0000 |
|---|---|---|
| committer | Ernst de Haan <znerd@FreeBSD.org> | 2002-04-01 22:01:22 +0000 |
| commit | 2297db65d5e46559b9ca2cc8e7652e7d36f518a9 (patch) | |
| tree | 01d357e04ccb75a8b8452c352b661739b318bf36 /www/jakarta-tomcat41/pkg-deinstall | |
| parent | f37b25c1d36bb8869b4e18354b158b71ae52285f (diff) | |
| download | ports-2297db65d5e46559b9ca2cc8e7652e7d36f518a9.tar.gz ports-2297db65d5e46559b9ca2cc8e7652e7d36f518a9.zip | |
Notes
Diffstat (limited to 'www/jakarta-tomcat41/pkg-deinstall')
| -rw-r--r-- | www/jakarta-tomcat41/pkg-deinstall | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/jakarta-tomcat41/pkg-deinstall b/www/jakarta-tomcat41/pkg-deinstall index 55a1d8f0f9e5..d1b05d4e055b 100644 --- a/www/jakarta-tomcat41/pkg-deinstall +++ b/www/jakarta-tomcat41/pkg-deinstall @@ -15,7 +15,7 @@ if [ "$2" = "DEINSTALL" ]; then # Kill the process if it is still running - PID_FILE=/var/run/tomcat.pid + PID_FILE=/var/run/tomcat4.pid if [ -s ${PID_FILE} ]; then PID=`cat ${PID_FILE}` echo -n ">> Killing Jakarta Tomcat process (${PID})..." |