diff options
author | Ernst de Haan <znerd@FreeBSD.org> | 2002-02-04 13:40:10 +0000 |
---|---|---|
committer | Ernst de Haan <znerd@FreeBSD.org> | 2002-02-04 13:40:10 +0000 |
commit | 5a6112469e6e17f52e2ad631a8629f370ffb930d (patch) | |
tree | 3fc31434cc0000026f65b8b14bb3fbaaa60fcc49 /www/jakarta-tomcat4 | |
parent | A new tomcatctl control script, installed in /bin. (diff) |
Now using tomcatctl instead of tomcat.sh
Notes
Notes:
svn path=/head/; revision=54204
Diffstat (limited to 'www/jakarta-tomcat4')
-rw-r--r-- | www/jakarta-tomcat4/files/tomcat.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/www/jakarta-tomcat4/files/tomcat.sh b/www/jakarta-tomcat4/files/tomcat.sh deleted file mode 100644 index ac29e67ca817..000000000000 --- a/www/jakarta-tomcat4/files/tomcat.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/sh - -JAVA_HOME=%%PREFIX%%/jdk1.1.8 -export JAVA_HOME -TOMCAT_HOME=%%PREFIX%%/tomcat -export TOMCAT_HOME - -case "$1" in - start) - if [ -f %%PREFIX%%/tomcat/bin/tomcat.sh ]; then - /bin/sh %%PREFIX%%/tomcat/bin/tomcat.sh start > /dev/null && echo ' tomcat' - fi - ;; - stop) - if [ -f %%PREFIX%%/tomcat/bin/tomcat.sh ]; then - /bin/sh %%PREFIX%%/tomcat/bin/tomcat.sh stop > /dev/null && echo ' tomcat' - fi - ;; - *) - echo "" - echo "Usage: `basename $0` { start | stop }" - echo "" - exit 64 - ;; -esac |