ports/60781: [maintainer]jakarta-tomcat5:Fix wrong PID_FILE in pkg-deinstall
Kang Liu
liukang at bjpu.edu.cn
Thu Jan 1 14:10:19 UTC 2004
>Number: 60781
>Category: ports
>Synopsis: [maintainer]jakarta-tomcat5:Fix wrong PID_FILE in
>Confidential: no
>Severity: serious
>Priority: high
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: maintainer-update
>Submitter-Id: current-users
>Arrival-Date: Thu Jan 01 06:10:11 PST 2004
>Closed-Date:
>Last-Modified:
>Originator: Kang Liu
>Release: FreeBSD 4.9-STABLE i386
>Organization:
Beijing University of Technology
>Environment:
System: FreeBSD 4.9-STABLE
>Description:
The "PID_FILE" in pkg-deinstall is set as tomcat4.pid, which is not
correct.
If run "make deinstall" when the jakarta-tomcat4 is running,
the process of tomcat4 would be killed unexpectedly.
>How-To-Repeat:
run "make deinstall" in ports/www/jakarta-tomcat5 when tomcat4 is
running.
>Fix:
Index: pkg-deinstall
===================================================================
RCS file: /home/ncvs/ports/www/jakarta-tomcat5/pkg-deinstall,v
retrieving revision 1.1
diff -u -r1.1 pkg-deinstall
--- pkg-deinstall 13 Aug 2003 11:39:38 -0000 1.1
+++ pkg-deinstall 1 Jan 2004 13:42:47 -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/tomcat50.pid
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing Jakarta Tomcat process (${PID})..."
>Release-Note:
>Audit-Trail:
>Unformatted:
pkg-deinstall
More information about the freebsd-ports-bugs
mailing list