projects / packages / tomcat.git / blame
| Commit | Line | Data |
|---|---|---|
| a0446376 JB |
1 | --- jakarta-tomcat-4.0.1-src/catalina/src/bin/catalina.sh.orig Tue Nov 13 03:02:50 2001 |
| 2 | +++ jakarta-tomcat-4.0.1-src/catalina/src/bin/catalina.sh Sat Aug 24 18:35:45 2002 | |
| 3 | @@ -62,8 +62,12 @@ | |
| 4 | fi | |
| 5 | ||
| 6 | if [ -z "$JAVA_HOME" ] ; then | |
| 7 | + if [ -x /usr/lib/java/bin/java ]; then | |
| 8 | + JAVA_HOME=/usr/lib/java | |
| 9 | + else | |
| 10 | echo You must set JAVA_HOME to point at your Java Development Kit installation | |
| 11 | exit 1 | |
| 12 | + fi | |
| 13 | fi | |
| 14 | ||
| 15 | ||
| 16 | --- jakarta-tomcat-4.0.1-src/catalina/src/bin/digest.sh.orig Tue Nov 13 03:02:50 2001 | |
| 17 | +++ jakarta-tomcat-4.0.1-src/catalina/src/bin/digest.sh Sat Aug 24 18:36:05 2002 | |
| 18 | @@ -40,8 +40,12 @@ | |
| 19 | fi | |
| 20 | ||
| 21 | if [ -z "$JAVA_HOME" ] ; then | |
| 22 | + if [ -x /usr/lib/java/bin/java ]; then | |
| 23 | + JAVA_HOME=/usr/lib/java | |
| 24 | + else | |
| 25 | echo You must set JAVA_HOME to point at your Java Development Kit installation | |
| 26 | exit 1 | |
| 27 | + fi | |
| 28 | fi | |
| 29 | ||
| 30 |