diff options
| author | Dirk Froemberg <dirk@FreeBSD.org> | 2001-05-21 08:05:38 +0000 |
|---|---|---|
| committer | Dirk Froemberg <dirk@FreeBSD.org> | 2001-05-21 08:05:38 +0000 |
| commit | 71e52831aaf469d3e4c0b94c6ff56e7146372e5d (patch) | |
| tree | 9129ce42c04544d5bf62edeef5d9616774081565 /www/tomcat41/files | |
| parent | Update to 1.10. (diff) | |
- provide startup script
- log tomcat messages to a file (logs/tomcat.log)
- fix plist
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 |