tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From ma...@apache.org
Subject cvs commit: jakarta-tomcat-4.0/catalina/src/bin setclasspath.bat setclasspath.sh
Date Thu, 12 Feb 2004 21:38:12 GMT
markt       2004/02/12 13:38:12

  Modified:    catalina/src/bin setclasspath.bat setclasspath.sh
  Log:
  Fix bug 14246. Make clear in error message that JDK is required. Reported by Eric Bloch.
  
  Revision  Changes    Path
  1.9       +2 -1      jakarta-tomcat-4.0/catalina/src/bin/setclasspath.bat
  
  Index: setclasspath.bat
  ===================================================================
  RCS file: /home/cvs/jakarta-tomcat-4.0/catalina/src/bin/setclasspath.bat,v
  retrieving revision 1.8
  retrieving revision 1.9
  diff -u -r1.8 -r1.9
  --- setclasspath.bat	17 Jan 2003 10:07:21 -0000	1.8
  +++ setclasspath.bat	12 Feb 2004 21:38:12 -0000	1.9
  @@ -18,6 +18,7 @@
   :noJavaHome
   echo The JAVA_HOME environment variable is not defined correctly
   echo This environment variable is needed to run this program
  +echo NB: JAVA_HOME should point to a JDK not a JRE
   goto end
   :okJavaHome
   
  
  
  
  1.12      +2 -1      jakarta-tomcat-4.0/catalina/src/bin/setclasspath.sh
  
  Index: setclasspath.sh
  ===================================================================
  RCS file: /home/cvs/jakarta-tomcat-4.0/catalina/src/bin/setclasspath.sh,v
  retrieving revision 1.11
  retrieving revision 1.12
  diff -u -r1.11 -r1.12
  --- setclasspath.sh	28 Jul 2003 15:36:23 -0000	1.11
  +++ setclasspath.sh	12 Feb 2004 21:38:12 -0000	1.12
  @@ -20,6 +20,7 @@
     if [ ! -r "$JAVA_HOME"/bin/java -o ! -r "$JAVA_HOME"/bin/jdb -o ! -r "$JAVA_HOME"/bin/javac
]; then
       echo "The JAVA_HOME environment variable is not defined correctly"
       echo "This environment variable is needed to run this program"
  +    echo "NB: JAVA_HOME should point to a JDK not a JRE"
       exit 1
     fi
   fi
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-dev-help@jakarta.apache.org


Mime
View raw message