diff options
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 |