You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by co...@locus.apache.org on 2000/03/01 21:32:50 UTC
cvs commit: jakarta-tomcat/src/shell tomcat.sh
costin 00/03/01 12:32:49
Modified: src/shell tomcat.sh
Log:
Typo in sh.
Revision Changes Path
1.14 +6 -6 jakarta-tomcat/src/shell/tomcat.sh
Index: tomcat.sh
===================================================================
RCS file: /home/cvs/jakarta-tomcat/src/shell/tomcat.sh,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -r1.13 -r1.14
--- tomcat.sh 2000/03/01 20:24:23 1.13
+++ tomcat.sh 2000/03/01 20:32:48 1.14
@@ -1,6 +1,6 @@
#!/bin/sh
#
-# $Id: tomcat.sh,v 1.13 2000/03/01 20:24:23 costin Exp $
+# $Id: tomcat.sh,v 1.14 2000/03/01 20:32:48 costin Exp $
# Shell script to start and stop the server
@@ -33,10 +33,10 @@
TOMCAT_HOME_1=`dirname "$PRG"`/..
echo "Guessing TOMCAT_HOME from tomcat.sh to ${TOMCAT_HOME_1}"
- if [ -d ${TOMCAT_HOME_1}/conf ] ; then
- TOMCAT_HOME=${TOMCAT_HOME_1}
- echo "Setting TOMCAT_HOME to $TOMCAT_HOME"
- fi
+ if [ -d ${TOMCAT_HOME_1}/conf ] ; then
+ TOMCAT_HOME=${TOMCAT_HOME_1}
+ echo "Setting TOMCAT_HOME to $TOMCAT_HOME"
+ fi
fi
@@ -56,7 +56,7 @@
fi
if [ "$TOMCAT_HOME" = "" ] ; then
- echo Can't find TOMCAT_HOME, you need to set it or install in a standard location
+ echo TOMCAT_HOME not set, you need to set it or install in a standard location
exit 1
fi