Summary: | [maintainer]jakarta-tomcat5:Fix wrong PID_FILE in | ||||||
---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Kang Liu <liukang> | ||||
Component: | Individual Port(s) | Assignee: | Ernst de Haan <znerd> | ||||
Status: | Closed FIXED | ||||||
Severity: | Affects Only Me | ||||||
Priority: | Normal | ||||||
Version: | Latest | ||||||
Hardware: | Any | ||||||
OS: | Any | ||||||
Attachments: |
|
Description
Kang Liu
2004-01-01 14:10:11 UTC
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})..." Responsible Changed From-To: freebsd-ports-bugs->znerd I'll handle this. State Changed From-To: open->feedback This update breaks the port: ===> Generating temporary packing list ** Missing package files for jdk-doc-1.4.2. *** Error code 1 State Changed From-To: feedback->open Last change in state was on the wrong PR. State Changed From-To: open->closed Fix committed to both ports, thanks! |