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/tomcat.sh | |
| 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/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 |