]> git.pld-linux.org Git - packages/tomcat.git/commitdiff
- updated to 4.0.6
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Tue, 26 Nov 2002 21:55:06 +0000 (21:55 +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.2

jakarta-tomcat-JAVA_HOME.patch

index 04fbb2c4990c8c10619317f75350dfb580fc4197..4e98792621617fc02cac46236eaa2e9582921aaa 100644 (file)
@@ -1,30 +1,28 @@
---- jakarta-tomcat-4.0.1-src/catalina/src/bin/catalina.sh.orig Tue Nov 13 03:02:50 2001
-+++ jakarta-tomcat-4.0.1-src/catalina/src/bin/catalina.sh      Sat Aug 24 18:35:45 2002
-@@ -62,8 +62,12 @@
- fi
- if [ -z "$JAVA_HOME" ] ; then
-+  if [ -x /usr/lib/java/bin/java ]; then
-+    JAVA_HOME=/usr/lib/java
-+  else
-   echo You must set JAVA_HOME to point at your Java Development Kit installation
-   exit 1
-+  fi
+diff -urN jakarta-tomcat-4.0.6-src.org/catalina/src/bin/catalina.sh jakarta-tomcat-4.0.6-src/catalina/src/bin/catalina.sh
+--- jakarta-tomcat-4.0.6-src.org/catalina/src/bin/catalina.sh  Tue Nov 26 22:37:05 2002
++++ jakarta-tomcat-4.0.6-src/catalina/src/bin/catalina.sh      Tue Nov 26 22:52:30 2002
+@@ -104,6 +104,10 @@
+   JSSE_HOME=`cygpath --path --windows "$JSSE_HOME"`
  fi
  
++if [ -x /usr/lib/java/bin/java ]; then                                                                          
++  JAVA_HOME=/usr/lib/java                                                                                       
++fi
++
+ # ----- Execute The Requested Command -----------------------------------------
  
---- jakarta-tomcat-4.0.1-src/catalina/src/bin/digest.sh.orig   Tue Nov 13 03:02:50 2001
-+++ jakarta-tomcat-4.0.1-src/catalina/src/bin/digest.sh        Sat Aug 24 18:36:05 2002
-@@ -40,8 +40,12 @@
+ echo "Using CATALINA_BASE:   $CATALINA_BASE"
+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
+@@ -50,6 +50,10 @@
+   [ -n "$CLASSPATH" ] && CLASSPATH=`cygpath --path --unix "$CLASSPATH"`
  fi
  
- if [ -z "$JAVA_HOME" ] ; then
-+  if [ -x /usr/lib/java/bin/java ]; then
-+    JAVA_HOME=/usr/lib/java
-+  else
-   echo You must set JAVA_HOME to point at your Java Development Kit installation
-   exit 1
-+  fi
- fi
++if [ -x /usr/lib/java/bin/java ]; then   
++      JAVA_HOME=/usr/lib/java
++fi
++  
+ # Get standard Java environment variables
+ if [ -r "$CATALINA_HOME"/bin/setclasspath.sh ]; then
+   BASEDIR="$CATALINA_HOME"
This page took 0.036568 seconds and 4 git commands to generate.