diff options
| author | znerd <znerd@FreeBSD.org> | 2002-02-04 21:40:10 +0800 |
|---|---|---|
| committer | znerd <znerd@FreeBSD.org> | 2002-02-04 21:40:10 +0800 |
| commit | 24dfb93eee0d602367712e73141614176a97f76f (patch) | |
| tree | 6a2c9336688c712781237366b571c1d8d29788aa /www/jakarta-tomcat3 | |
| parent | afbbf0b9efc5ad9d0d6e06b8ec9bfdd53ccfbeab (diff) | |
| download | freebsd-ports-gnome-24dfb93eee0d602367712e73141614176a97f76f.tar.gz freebsd-ports-gnome-24dfb93eee0d602367712e73141614176a97f76f.tar.zst freebsd-ports-gnome-24dfb93eee0d602367712e73141614176a97f76f.zip | |
Now using tomcatctl instead of tomcat.sh
Diffstat (limited to 'www/jakarta-tomcat3')
| -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 |