diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2006-09-08 09:31:07 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2006-09-08 09:31:07 +0000 |
| commit | 898335a4e5856ca51d99414766fea6fc70611b1f (patch) | |
| tree | 44751b05f3f3345c2bf871011503f463cff3660e /www/tomcat41 | |
| parent | ac9edfd67969ce040c55ee2bf49944febd284c56 (diff) | |
Notes
Diffstat (limited to 'www/tomcat41')
| -rw-r--r-- | www/tomcat41/Makefile | 2 | ||||
| -rw-r--r-- | www/tomcat41/files/tomcat41.sh.in | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/www/tomcat41/Makefile b/www/tomcat41/Makefile index f2305da00ba3..045591ca3464 100644 --- a/www/tomcat41/Makefile +++ b/www/tomcat41/Makefile @@ -7,7 +7,7 @@ PORTNAME= jakarta-tomcat PORTVERSION= 4.1.31 -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= www java MASTER_SITES= ${MASTER_SITE_APACHE_JAKARTA} MASTER_SITE_SUBDIR= tomcat-4/v${PORTVERSION}/bin diff --git a/www/tomcat41/files/tomcat41.sh.in b/www/tomcat41/files/tomcat41.sh.in index 2823c81ca7d1..bc87ede6d9d4 100644 --- a/www/tomcat41/files/tomcat41.sh.in +++ b/www/tomcat41/files/tomcat41.sh.in @@ -109,7 +109,7 @@ log_args=">> ${tomcat%%TOMCAT_VERSION%%_stdout_log} \ if [ -f $pidfile ]; then read rc_pid junk < $pidfile if [ ! -z "$rc_pid" ]; then - procname=`ps -o comm= $rc_pid` + procname=`ps -o ucomm= $rc_pid` fi fi @@ -128,7 +128,7 @@ pid_touch () } tomcat%%TOMCAT_VERSION%%_stop() { - rc_pid=$(check_pidfile $pidfile $procname) + rc_pid=$(check_pidfile $pidfile *$procname*) if [ -z "$rc_pid" ]; then [ -n "$rc_fast" ] && return 0 |