diff options
| author | Ernst de Haan <znerd@FreeBSD.org> | 2004-01-02 12:31:11 +0000 |
|---|---|---|
| committer | Ernst de Haan <znerd@FreeBSD.org> | 2004-01-02 12:31:11 +0000 |
| commit | 4c6b96197f504eb90283c2e73e7d8ceb94851078 (patch) | |
| tree | 81d3750cafb91928190b0a79448d65fb11d500e4 /www/tomcat41 | |
| parent | e7ec922f181b8fd2ad013fe74983d99b0e46db63 (diff) | |
Notes
Diffstat (limited to 'www/tomcat41')
| -rw-r--r-- | www/tomcat41/Makefile | 1 | ||||
| -rw-r--r-- | www/tomcat41/pkg-deinstall | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/www/tomcat41/Makefile b/www/tomcat41/Makefile index 1e722b0acf71..4428dc36944d 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 d1b05d4e055b..39c0a6381a8b 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})..." |