tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From cos...@locus.apache.org
Subject cvs commit: jakarta-tomcat/src/shell tomcat.sh
Date Wed, 01 Mar 2000 20:32:50 GMT
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
   
  
  
  

Mime
View raw message