diff options
| author | Alejandro Pulver <alepulver@FreeBSD.org> | 2007-09-30 22:04:02 +0000 |
|---|---|---|
| committer | Alejandro Pulver <alepulver@FreeBSD.org> | 2007-09-30 22:04:02 +0000 |
| commit | 1ef36583d8eb8f57f947f04cb04e1464ed786a9d (patch) | |
| tree | 7c78809a6084b1158f1efe4d2509a174ba8591a4 /www/tomcat7/files | |
| parent | 1f4dc27f41a0efe031d0dde9366042ab67a0ea58 (diff) | |
| download | ports-1ef36583d8eb8f57f947f04cb04e1464ed786a9d.tar.gz ports-1ef36583d8eb8f57f947f04cb04e1464ed786a9d.zip | |
Notes
Diffstat (limited to 'www/tomcat7/files')
| -rw-r--r-- | www/tomcat7/files/tomcat6.sh.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/www/tomcat7/files/tomcat6.sh.in b/www/tomcat7/files/tomcat6.sh.in index bc87ede6d9d4..15c8fd53658e 100644 --- a/www/tomcat7/files/tomcat6.sh.in +++ b/www/tomcat7/files/tomcat6.sh.in @@ -112,6 +112,9 @@ if [ -f $pidfile ]; then procname=`ps -o ucomm= $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 |