diff options
| -rw-r--r-- | www/tomcat6/Makefile | 1 | ||||
| -rw-r--r-- | www/tomcat6/files/tomcat6.in | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/www/tomcat6/Makefile b/www/tomcat6/Makefile index c759785dee60..4a1ede3fb038 100644 --- a/www/tomcat6/Makefile +++ b/www/tomcat6/Makefile @@ -3,6 +3,7 @@ PORTNAME= tomcat PORTVERSION= 6.0.45 +PORTREVISION= 1 CATEGORIES= www java MASTER_SITES= APACHE/tomcat/tomcat-6/v${PORTVERSION}/bin DISTNAME= apache-${PORTNAME}-${PORTVERSION} diff --git a/www/tomcat6/files/tomcat6.in b/www/tomcat6/files/tomcat6.in index 8c5edf09b622..5183ef2cd5af 100644 --- a/www/tomcat6/files/tomcat6.in +++ b/www/tomcat6/files/tomcat6.in @@ -168,7 +168,7 @@ tomcat_check_pidfile() { debug "pid file ($_pidfile): no pid in file." return fi - if [ -n "`%%LOCALBASE%%/bin/jps -l | grep -e "^$_pid $java_class\$"`" ]; then + if [ -n "`/usr/bin/procstat -c $_pid | grep -e "^$_pid.*$java_class"`" ]; then echo -n $_pid fi } |