aboutsummaryrefslogtreecommitdiff
path: root/www/tomcat55
diff options
context:
space:
mode:
authorAlejandro Pulver <alepulver@FreeBSD.org>2007-09-30 22:04:02 +0000
committerAlejandro Pulver <alepulver@FreeBSD.org>2007-09-30 22:04:02 +0000
commit1ef36583d8eb8f57f947f04cb04e1464ed786a9d (patch)
tree7c78809a6084b1158f1efe4d2509a174ba8591a4 /www/tomcat55
parent1f4dc27f41a0efe031d0dde9366042ab67a0ea58 (diff)
downloadports-1ef36583d8eb8f57f947f04cb04e1464ed786a9d.tar.gz
ports-1ef36583d8eb8f57f947f04cb04e1464ed786a9d.zip
Notes
Diffstat (limited to 'www/tomcat55')
-rw-r--r--www/tomcat55/files/tomcat55.sh.in5
1 files changed, 4 insertions, 1 deletions
diff --git a/www/tomcat55/files/tomcat55.sh.in b/www/tomcat55/files/tomcat55.sh.in
index cc636515af79..50fd3addd84a 100644
--- a/www/tomcat55/files/tomcat55.sh.in
+++ b/www/tomcat55/files/tomcat55.sh.in
@@ -112,6 +112,9 @@ if [ -f $pidfile ]; then
procname=`ps -o ucomm= -p $rc_pid`
fi
fi
+if [ -z "$procname" ]; then
+ procname=nonexistent
+fi
required_files="${tomcat%%TOMCAT_VERSION%%_catalina_home}/conf/server.xml"
@@ -128,7 +131,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