From 5a6112469e6e17f52e2ad631a8629f370ffb930d Mon Sep 17 00:00:00 2001 From: Ernst de Haan Date: Mon, 4 Feb 2002 13:40:10 +0000 Subject: Now using tomcatctl instead of tomcat.sh --- www/jakarta-tomcat4/files/tomcat.sh | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 www/jakarta-tomcat4/files/tomcat.sh (limited to 'www/jakarta-tomcat4') diff --git a/www/jakarta-tomcat4/files/tomcat.sh b/www/jakarta-tomcat4/files/tomcat.sh deleted file mode 100644 index ac29e67ca817..000000000000 --- a/www/jakarta-tomcat4/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 -- cgit v1.2.3