diff options
Diffstat (limited to 'www/tomcat41/files/tomcat.sh')
| -rw-r--r-- | www/tomcat41/files/tomcat.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/www/tomcat41/files/tomcat.sh b/www/tomcat41/files/tomcat.sh new file mode 100644 index 000000000000..0b3990d7d84c --- /dev/null +++ b/www/tomcat41/files/tomcat.sh @@ -0,0 +1,25 @@ +#!/bin/sh + +JAVA_HOME=%%PREFIX%%/jdk1.1.8 +export JAVA_HOME +TOMCAT_HOME=%%PREFIX%%/tomcat +export TOMCAT_HOME + +case "$1" in + start) + if [ -x %%PREFIX%%/tomcat/bin/tomcat.sh ]; then + %%PREFIX%%/tomcat/bin/tomcat.sh start > /dev/null && echo ' tomcat' + fi + ;; + stop) + if [ -x %%PREFIX%%/tomcat/bin/tomcat.sh ]; then + %%PREFIX%%/tomcat/bin/tomcat.sh stop > /dev/null && echo ' tomcat' + fi + ;; + *) + echo "" + echo "Usage: `basename $0` { start | stop }" + echo "" + exit 64 + ;; +esac |