diff options
Diffstat (limited to 'www/jakarta-tomcat3/files/tomcat.sh')
| -rw-r--r-- | www/jakarta-tomcat3/files/tomcat.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/www/jakarta-tomcat3/files/tomcat.sh b/www/jakarta-tomcat3/files/tomcat.sh deleted file mode 100644 index ac29e67ca817..000000000000 --- a/www/jakarta-tomcat3/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 |