diff options
author | Stefan Walter <stefan@FreeBSD.org> | 2010-05-07 04:11:33 +0800 |
---|---|---|
committer | Stefan Walter <stefan@FreeBSD.org> | 2010-05-07 04:11:33 +0800 |
commit | 0ddf44d29123fa231e12bf24749199ea533b6aa4 (patch) | |
tree | 6e4d933b963c5ed743637ebed96290009e760198 /www | |
parent | 0dee7f96d6cd92070108222e381925ea841e9871 (diff) | |
download | freebsd-ports-gnome-0ddf44d29123fa231e12bf24749199ea533b6aa4.tar.gz freebsd-ports-gnome-0ddf44d29123fa231e12bf24749199ea533b6aa4.tar.zst freebsd-ports-gnome-0ddf44d29123fa231e12bf24749199ea533b6aa4.zip |
Fix stopping the server process via the port's rc.d script.
PR: ports/140829
Submitted by: Ruben van Staveren <ruben@verweg.com>
Approved by: maintainer timeout (>5 months)
Diffstat (limited to 'www')
-rw-r--r-- | www/tomcat55/Makefile | 1 | ||||
-rw-r--r-- | www/tomcat55/files/tomcat55.sh.in | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/www/tomcat55/Makefile b/www/tomcat55/Makefile index f55cb383bea7..e2b9d745b2e3 100644 --- a/www/tomcat55/Makefile +++ b/www/tomcat55/Makefile @@ -7,6 +7,7 @@ PORTNAME= tomcat PORTVERSION= 5.5.28 +PORTREVISION= 1 CATEGORIES= www java MASTER_SITES= ${MASTER_SITE_APACHE} MASTER_SITE_SUBDIR= tomcat/tomcat-5/v${PORTVERSION}/bin diff --git a/www/tomcat55/files/tomcat55.sh.in b/www/tomcat55/files/tomcat55.sh.in index 1ac100ed9f5b..fc634f090997 100644 --- a/www/tomcat55/files/tomcat55.sh.in +++ b/www/tomcat55/files/tomcat55.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 ucomm= -p $rc_pid` + procname=`ps -o command= -p $rc_pid | cut -f 1 -d ' '` fi fi if [ -z "$procname" ]; then |