From owner-freebsd-ports-bugs@FreeBSD.ORG Thu Jan 1 06:20:16 2004 Return-Path: Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 5046716A4CE for ; Thu, 1 Jan 2004 06:20:16 -0800 (PST) Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21]) by mx1.FreeBSD.org (Postfix) with ESMTP id 7495343D5D for ; Thu, 1 Jan 2004 06:20:15 -0800 (PST) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) i01EKFFR052211 for ; Thu, 1 Jan 2004 06:20:15 -0800 (PST) (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.12.10/8.12.10/Submit) id i01EKFjS052209; Thu, 1 Jan 2004 06:20:15 -0800 (PST) (envelope-from gnats) Date: Thu, 1 Jan 2004 06:20:15 -0800 (PST) Message-Id: <200401011420.i01EKFjS052209@freefall.freebsd.org> To: freebsd-ports-bugs@FreeBSD.org From: "Kang Liu" Subject: Re: ports/60781: [maintainer]jakarta-tomcat5:Fix wrong PID_FILE in X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list Reply-To: Kang Liu List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 01 Jan 2004 14:20:16 -0000 The following reply was made to PR ports/60781; it has been noted by GNATS. From: "Kang Liu" To: , "'Ernst de Haan'" 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})..."