diff options
Diffstat (limited to 'www/jakarta-tomcat4/files')
| -rw-r--r-- | www/jakarta-tomcat4/files/tomcat4.sh.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/www/jakarta-tomcat4/files/tomcat4.sh.in b/www/jakarta-tomcat4/files/tomcat4.sh.in index 2823c81ca7d1..bc87ede6d9d4 100644 --- a/www/jakarta-tomcat4/files/tomcat4.sh.in +++ b/www/jakarta-tomcat4/files/tomcat4.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 |