ports/60781: [maintainer]jakarta-tomcat5:Fix wrong PID_FILE in

[Kang Liu]

The following reply was made to PR ports/60781; it has been noted by GNATS.

From: "Kang Liu" <liukang at bjpu.edu.cn>
To: <freebsd-gnats-submit at FreeBSD.org>,
	"'Ernst de Haan'" <znerd at 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})..."