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-tomcat41 | |
| parent | 1fbe096f64bf2800d624e68c7e98de4e467e3f92 (diff) | |
Now using tomcatctl instead of tomcat.sh
Notes
Notes:
svn path=/head/; revision=54204
Diffstat (limited to 'www/jakarta-tomcat41')
| -rw-r--r-- | www/jakarta-tomcat41/files/tomcat.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/www/jakarta-tomcat41/files/tomcat.sh b/www/jakarta-tomcat41/files/tomcat.sh deleted file mode 100644 index ac29e67ca817..000000000000 --- a/www/jakarta-tomcat41/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 |