diff options
Diffstat (limited to 'www/tomcat41/files')
| -rw-r--r-- | www/tomcat41/files/patch-ab | 10 | ||||
| -rw-r--r-- | www/tomcat41/files/tomcat.sh | 25 |
2 files changed, 35 insertions, 0 deletions
diff --git a/www/tomcat41/files/patch-ab b/www/tomcat41/files/patch-ab new file mode 100644 index 000000000000..4cd9c6810ff5 --- /dev/null +++ b/www/tomcat41/files/patch-ab @@ -0,0 +1,10 @@ +--- conf/server.xml.orig Tue Dec 12 22:36:20 2000 ++++ conf/server.xml Mon May 21 00:25:46 2001 +@@ -67,6 +67,7 @@ + --> + <Logger name="tc_log" + verbosityLevel = "INFORMATION" ++ path="logs/tomcat.log" + /> + + <Logger name="servlet_log" 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 |