| 12345678910111213141516171819202122 |
- #!/bin/sh
- # find our CATALINA_HOME (copied from catalina.sh)
- PRG="$0"
- while [ -h "$PRG" ]; do
- ls=`ls -ld "$PRG"`
- link=`expr "$ls" : '.*-> \(.*\)$'`
- if expr "$link" : '.*/.*' > /dev/null; then
- PRG="$link"
- else
- PRG=`dirname "$PRG"`/"$link"
- fi
- done
- # Get standard environment variables
- PRGDIR=`dirname "$PRG"`
- # Only set CATALINA_HOME if not already set
- [ -z "$CATALINA_HOME" ] && CATALINA_HOME=`cd "$PRGDIR/jakarta-tomcat" ; pwd`
- sh $CATALINA_HOME/bin/catalina.sh stop
|
