]> git.pld-linux.org Git - packages/tomcat.git/commitdiff
- more jakarta-tomcat-4_0_6-1
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Tue, 26 Nov 2002 22:07:09 +0000 (22:07 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    jakarta-tomcat-JAVA_HOME.patch -> 1.3

jakarta-tomcat-JAVA_HOME.patch

index 4e98792621617fc02cac46236eaa2e9582921aaa..8bae964d142c4fb442649c487700cc20dcf2209b 100644 (file)
@@ -12,6 +12,23 @@ diff -urN jakarta-tomcat-4.0.6-src.org/catalina/src/bin/catalina.sh jakarta-tomc
  # ----- Execute The Requested Command -----------------------------------------
  
  echo "Using CATALINA_BASE:   $CATALINA_BASE"
+diff -urN jakarta-tomcat-4.0.6-src.org/catalina/src/bin/setclasspath.sh jakarta-tomcat-4.0.6-src/catalina/src/bin/setclasspath.sh
+--- jakarta-tomcat-4.0.6-src.org/catalina/src/bin/setclasspath.sh      Tue Nov 26 22:37:05 2002
++++ jakarta-tomcat-4.0.6-src/catalina/src/bin/setclasspath.sh  Tue Nov 26 23:05:50 2002
+@@ -6,9 +6,13 @@
+ # Make sure prerequisite environment variables are set
+ if [ -z "$JAVA_HOME" ]; then
++  if [ -x /usr/lib/java/bin/java ]; then
++    JAVA_HOME=/usr/lib/java
++  else
+   echo "The JAVA_HOME environment variable is not defined"
+   echo "This environment variable is needed to run this program"
+   exit 1
++  fi
+ fi
+ if [ ! -r "$JAVA_HOME"/bin/java ]; then
+   echo "The JAVA_HOME environment variable is not defined correctly"
 diff -urN jakarta-tomcat-4.0.6-src.org/catalina/src/bin/tool-wrapper.sh jakarta-tomcat-4.0.6-src/catalina/src/bin/tool-wrapper.sh
 --- jakarta-tomcat-4.0.6-src.org/catalina/src/bin/tool-wrapper.sh      Tue Nov 26 22:37:05 2002
 +++ jakarta-tomcat-4.0.6-src/catalina/src/bin/tool-wrapper.sh  Tue Nov 26 22:53:07 2002
This page took 0.028803 seconds and 4 git commands to generate.