#! /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 "$@"