Date: Thu, 1 Jan 2004 06:20:15 -0800 (PST) From: "Kang Liu" <liukang@bjpu.edu.cn> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/60781: [maintainer]jakarta-tomcat5:Fix wrong PID_FILE in Message-ID: <200401011420.i01EKFjS052209@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/60781; it has been noted by GNATS.
From: "Kang Liu" <liukang@bjpu.edu.cn>
To: <freebsd-gnats-submit@FreeBSD.org>,
"'Ernst de Haan'" <znerd@FreeBSD.org>
Cc:
Subject: Re: ports/60781: [maintainer]jakarta-tomcat5:Fix wrong PID_FILE in
Date: Thu, 1 Jan 2004 22:17:21 +0800
I think jakarta-tomcat41 has the same problem.
Here is the patch:
Index: pkg-deinstall
===================================================================
RCS file: /home/ncvs/ports/www/jakarta-tomcat41/pkg-deinstall,v
retrieving revision 1.4
diff -u -r1.4 pkg-deinstall
--- pkg-deinstall 1 Apr 2002 22:01:22 -0000 1.4
+++ pkg-deinstall 1 Jan 2004 14:15:06 -0000
@@ -15,7 +15,7 @@
if [ "$2" = "DEINSTALL" ]; then
# Kill the process if it is still running
- PID_FILE=/var/run/tomcat4.pid
+ PID_FILE=/var/run/tomcat41.pid
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing Jakarta Tomcat process (${PID})..."
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200401011420.i01EKFjS052209>