diff options
| author | Sam Lawrance <lawrance@FreeBSD.org> | 2006-02-07 13:41:00 +0000 |
|---|---|---|
| committer | Sam Lawrance <lawrance@FreeBSD.org> | 2006-02-07 13:41:00 +0000 |
| commit | 314fa7a3d9e6a99b19be00339e9bcb109703d857 (patch) | |
| tree | d6d78f2e42c0ad615e545c88c4b7c9e18855723a /www/jakarta-tomcat41 | |
| parent | a20733af4435f458f88ac9305185e098232882e0 (diff) | |
| download | ports-314fa7a3d9e6a99b19be00339e9bcb109703d857.tar.gz ports-314fa7a3d9e6a99b19be00339e9bcb109703d857.zip | |
Notes
Diffstat (limited to 'www/jakarta-tomcat41')
| -rw-r--r-- | www/jakarta-tomcat41/Makefile | 2 | ||||
| -rw-r--r-- | www/jakarta-tomcat41/files/tomcat41.sh.in | 9 |
2 files changed, 9 insertions, 2 deletions
diff --git a/www/jakarta-tomcat41/Makefile b/www/jakarta-tomcat41/Makefile index db7b44a561c5..c099ddd51f16 100644 --- a/www/jakarta-tomcat41/Makefile +++ b/www/jakarta-tomcat41/Makefile @@ -7,7 +7,7 @@ PORTNAME= jakarta-tomcat PORTVERSION= 4.1.31 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= www java MASTER_SITES= ${MASTER_SITE_APACHE_JAKARTA} MASTER_SITE_SUBDIR= tomcat-4/v${PORTVERSION}/bin diff --git a/www/jakarta-tomcat41/files/tomcat41.sh.in b/www/jakarta-tomcat41/files/tomcat41.sh.in index dac2e79731df..105bcae155c7 100644 --- a/www/jakarta-tomcat41/files/tomcat41.sh.in +++ b/www/jakarta-tomcat41/files/tomcat41.sh.in @@ -105,7 +105,14 @@ java_command="%%LOCALBASE%%/bin/java \ log_args=">> ${tomcat%%TOMCAT_VERSION%%_stdout_log} \ 2>> ${tomcat%%TOMCAT_VERSION%%_stderr_log} " -procname="*java" +# Subvert the check_pid_file procname check. +if [ -f $pidfile ]; then + read rc_pid junk < $pidfile + if [ ! -z "$rc_pid" ]; then + procname=`ps -o command= $rc_pid | cut -d ' ' -f 1` + fi +fi + required_files="${tomcat%%TOMCAT_VERSION%%_catalina_home}/conf/server.xml" command="/usr/sbin/daemon" |