aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--www/jakarta-tomcat41/Makefile1
-rw-r--r--www/jakarta-tomcat41/pkg-deinstall2
-rw-r--r--www/jakarta-tomcat5/Makefile1
-rw-r--r--www/jakarta-tomcat5/pkg-deinstall4
-rw-r--r--www/jakarta-tomcat55/Makefile1
-rw-r--r--www/jakarta-tomcat55/pkg-deinstall4
-rw-r--r--www/tomcat41/Makefile1
-rw-r--r--www/tomcat41/pkg-deinstall2
-rw-r--r--www/tomcat55/Makefile1
-rw-r--r--www/tomcat55/pkg-deinstall4
-rw-r--r--www/tomcat6/Makefile1
-rw-r--r--www/tomcat6/pkg-deinstall4
-rw-r--r--www/tomcat7/Makefile1
-rw-r--r--www/tomcat7/pkg-deinstall4
14 files changed, 19 insertions, 12 deletions
diff --git a/www/jakarta-tomcat41/Makefile b/www/jakarta-tomcat41/Makefile
index 1e722b0acf7..4428dc36944 100644
--- a/www/jakarta-tomcat41/Makefile
+++ b/www/jakarta-tomcat41/Makefile
@@ -7,6 +7,7 @@
PORTNAME= jakarta-tomcat
PORTVERSION= 4.1.29
+PORTREVISION= 1
CATEGORIES= www java
MASTER_SITES= http://www.apache.org/dist/jakarta/tomcat-4/v${PORTVERSION}/bin/ \
${MASTER_SITE_LOCAL}
diff --git a/www/jakarta-tomcat41/pkg-deinstall b/www/jakarta-tomcat41/pkg-deinstall
index d1b05d4e055..39c0a6381a8 100644
--- a/www/jakarta-tomcat41/pkg-deinstall
+++ b/www/jakarta-tomcat41/pkg-deinstall
@@ -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})..."
diff --git a/www/jakarta-tomcat5/Makefile b/www/jakarta-tomcat5/Makefile
index 5c894468925..6fd670dc547 100644
--- a/www/jakarta-tomcat5/Makefile
+++ b/www/jakarta-tomcat5/Makefile
@@ -7,6 +7,7 @@
PORTNAME= jakarta-tomcat
PORTVERSION= 5.0.16
+PORTREVISION= 1
CATEGORIES= www java
MASTER_SITES= http://www.apache.org/dist/jakarta/tomcat-5/v${PORTVERSION}/bin/ \
http://apache.lemon4ssc.org/dist/jakarta/tomcat-5/v{PORTVERSION}/bin/ \
diff --git a/www/jakarta-tomcat5/pkg-deinstall b/www/jakarta-tomcat5/pkg-deinstall
index f52cdbcedde..eee37aaf960 100644
--- a/www/jakarta-tomcat5/pkg-deinstall
+++ b/www/jakarta-tomcat5/pkg-deinstall
@@ -8,14 +8,14 @@
# * Checks if the 'www' user exists. If it does, then it displays
# a message.
#
-# $FreeBSD: /tmp/pcvs/ports/www/jakarta-tomcat5/Attic/pkg-deinstall,v 1.1 2003-08-13 11:39:38 znerd Exp $
+# $FreeBSD: /tmp/pcvs/ports/www/jakarta-tomcat5/Attic/pkg-deinstall,v 1.2 2004-01-02 12:31:11 znerd Exp $
#
# Make sure we're in the right stage of the process
if [ "$2" = "DEINSTALL" ]; then
# Kill the process if it is still running
- PID_FILE=/var/run/tomcat4.pid
+ PID_FILE=/var/run/tomcat5
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing Jakarta Tomcat process (${PID})..."
diff --git a/www/jakarta-tomcat55/Makefile b/www/jakarta-tomcat55/Makefile
index 5c894468925..6fd670dc547 100644
--- a/www/jakarta-tomcat55/Makefile
+++ b/www/jakarta-tomcat55/Makefile
@@ -7,6 +7,7 @@
PORTNAME= jakarta-tomcat
PORTVERSION= 5.0.16
+PORTREVISION= 1
CATEGORIES= www java
MASTER_SITES= http://www.apache.org/dist/jakarta/tomcat-5/v${PORTVERSION}/bin/ \
http://apache.lemon4ssc.org/dist/jakarta/tomcat-5/v{PORTVERSION}/bin/ \
diff --git a/www/jakarta-tomcat55/pkg-deinstall b/www/jakarta-tomcat55/pkg-deinstall
index ba6c4927513..40514d51a19 100644
--- a/www/jakarta-tomcat55/pkg-deinstall
+++ b/www/jakarta-tomcat55/pkg-deinstall
@@ -8,14 +8,14 @@
# * Checks if the 'www' user exists. If it does, then it displays
# a message.
#
-# $FreeBSD: /tmp/pcvs/ports/www/jakarta-tomcat55/Attic/pkg-deinstall,v 1.1 2003-08-13 11:39:38 znerd Exp $
+# $FreeBSD: /tmp/pcvs/ports/www/jakarta-tomcat55/Attic/pkg-deinstall,v 1.2 2004-01-02 12:31:11 znerd Exp $
#
# Make sure we're in the right stage of the process
if [ "$2" = "DEINSTALL" ]; then
# Kill the process if it is still running
- PID_FILE=/var/run/tomcat4.pid
+ PID_FILE=/var/run/tomcat5
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing Jakarta Tomcat process (${PID})..."
diff --git a/www/tomcat41/Makefile b/www/tomcat41/Makefile
index 1e722b0acf7..4428dc36944 100644
--- a/www/tomcat41/Makefile
+++ b/www/tomcat41/Makefile
@@ -7,6 +7,7 @@
PORTNAME= jakarta-tomcat
PORTVERSION= 4.1.29
+PORTREVISION= 1
CATEGORIES= www java
MASTER_SITES= http://www.apache.org/dist/jakarta/tomcat-4/v${PORTVERSION}/bin/ \
${MASTER_SITE_LOCAL}
diff --git a/www/tomcat41/pkg-deinstall b/www/tomcat41/pkg-deinstall
index d1b05d4e055..39c0a6381a8 100644
--- a/www/tomcat41/pkg-deinstall
+++ b/www/tomcat41/pkg-deinstall
@@ -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})..."
diff --git a/www/tomcat55/Makefile b/www/tomcat55/Makefile
index 5c894468925..6fd670dc547 100644
--- a/www/tomcat55/Makefile
+++ b/www/tomcat55/Makefile
@@ -7,6 +7,7 @@
PORTNAME= jakarta-tomcat
PORTVERSION= 5.0.16
+PORTREVISION= 1
CATEGORIES= www java
MASTER_SITES= http://www.apache.org/dist/jakarta/tomcat-5/v${PORTVERSION}/bin/ \
http://apache.lemon4ssc.org/dist/jakarta/tomcat-5/v{PORTVERSION}/bin/ \
diff --git a/www/tomcat55/pkg-deinstall b/www/tomcat55/pkg-deinstall
index 34749ef7da6..52c321ce5f6 100644
--- a/www/tomcat55/pkg-deinstall
+++ b/www/tomcat55/pkg-deinstall
@@ -8,14 +8,14 @@
# * Checks if the 'www' user exists. If it does, then it displays
# a message.
#
-# $FreeBSD: /tmp/pcvs/ports/www/tomcat55/Attic/pkg-deinstall,v 1.1 2003-08-13 11:39:38 znerd Exp $
+# $FreeBSD: /tmp/pcvs/ports/www/tomcat55/Attic/pkg-deinstall,v 1.2 2004-01-02 12:31:11 znerd Exp $
#
# Make sure we're in the right stage of the process
if [ "$2" = "DEINSTALL" ]; then
# Kill the process if it is still running
- PID_FILE=/var/run/tomcat4.pid
+ PID_FILE=/var/run/tomcat5
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing Jakarta Tomcat process (${PID})..."
diff --git a/www/tomcat6/Makefile b/www/tomcat6/Makefile
index 5c894468925..6fd670dc547 100644
--- a/www/tomcat6/Makefile
+++ b/www/tomcat6/Makefile
@@ -7,6 +7,7 @@
PORTNAME= jakarta-tomcat
PORTVERSION= 5.0.16
+PORTREVISION= 1
CATEGORIES= www java
MASTER_SITES= http://www.apache.org/dist/jakarta/tomcat-5/v${PORTVERSION}/bin/ \
http://apache.lemon4ssc.org/dist/jakarta/tomcat-5/v{PORTVERSION}/bin/ \
diff --git a/www/tomcat6/pkg-deinstall b/www/tomcat6/pkg-deinstall
index 4dea2e4f703..634b9b770fe 100644
--- a/www/tomcat6/pkg-deinstall
+++ b/www/tomcat6/pkg-deinstall
@@ -8,14 +8,14 @@
# * Checks if the 'www' user exists. If it does, then it displays
# a message.
#
-# $FreeBSD: /tmp/pcvs/ports/www/tomcat6/Attic/pkg-deinstall,v 1.1 2003-08-13 11:39:38 znerd Exp $
+# $FreeBSD: /tmp/pcvs/ports/www/tomcat6/Attic/pkg-deinstall,v 1.2 2004-01-02 12:31:11 znerd Exp $
#
# Make sure we're in the right stage of the process
if [ "$2" = "DEINSTALL" ]; then
# Kill the process if it is still running
- PID_FILE=/var/run/tomcat4.pid
+ PID_FILE=/var/run/tomcat5
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing Jakarta Tomcat process (${PID})..."
diff --git a/www/tomcat7/Makefile b/www/tomcat7/Makefile
index 5c894468925..6fd670dc547 100644
--- a/www/tomcat7/Makefile
+++ b/www/tomcat7/Makefile
@@ -7,6 +7,7 @@
PORTNAME= jakarta-tomcat
PORTVERSION= 5.0.16
+PORTREVISION= 1
CATEGORIES= www java
MASTER_SITES= http://www.apache.org/dist/jakarta/tomcat-5/v${PORTVERSION}/bin/ \
http://apache.lemon4ssc.org/dist/jakarta/tomcat-5/v{PORTVERSION}/bin/ \
diff --git a/www/tomcat7/pkg-deinstall b/www/tomcat7/pkg-deinstall
index fa199b8bac2..64eada26139 100644
--- a/www/tomcat7/pkg-deinstall
+++ b/www/tomcat7/pkg-deinstall
@@ -8,14 +8,14 @@
# * Checks if the 'www' user exists. If it does, then it displays
# a message.
#
-# $FreeBSD: /tmp/pcvs/ports/www/tomcat7/Attic/pkg-deinstall,v 1.1 2003-08-13 11:39:38 znerd Exp $
+# $FreeBSD: /tmp/pcvs/ports/www/tomcat7/Attic/pkg-deinstall,v 1.2 2004-01-02 12:31:11 znerd Exp $
#
# Make sure we're in the right stage of the process
if [ "$2" = "DEINSTALL" ]; then
# Kill the process if it is still running
- PID_FILE=/var/run/tomcat4.pid
+ PID_FILE=/var/run/tomcat5
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing Jakarta Tomcat process (${PID})..."
generated by cgit (git 2.34.1) at 2024-12-18 13:58:36 +0800