#! /bin/sh # # $Id: shutdown.sh,v 1.2 1999/12/05 17:02:42 harishp Exp $ # Shell script to shutdown the server # There are other, simpler commands to shutdown the runner. The two # commented commands good replacements. The first works well with # Java Platform 1.1 based runtimes. The second works well with # Java2 Platform based runtimes. #jre -cp runner.jar:servlet.jar:classes org.apache.tomcat.shell.Shutdown $* #java -cp runner.jar:servlet.jar:classes org.apache.tomcat.shell.Shutdown $* JAVA_HOME=/usr/local/jdk1.3 export JAVA_HOME TOMCAT_HOME=/usr/local/tomcat_3.2b5/build/tomcat export TOMCAT_HOME PATH=/usr/bin:/usr/local/bin:/usr/ucb:/usr/ccs/bin:/usr/openwin/bin PATH=${PATH}:${JAVA_HOME}/bin:${TOMCAT_HOME}/bin export PATH CLASSPATH=${JAVA_HOME}/lib/tools.jar:${JAVA_HOME}/lib/dt.jar export CLASSPATH BASEDIR=$TOMCAT_HOME/bin export BASEDIR $BASEDIR/tomcat.sh stop "$@"