Revision f08bd017
Added by Andreas Kohlbecker over 10 years ago
| src/main/installer/linux/cdmserver | ||
|---|---|---|
| 113 | 113 |
# Check for JAVA_HOME |
| 114 | 114 |
if [ -z "$JAVA_HOME" ]; then |
| 115 | 115 |
log_failure_msg "Could not start $DESC because no Java Development Kit" |
| 116 |
log_failure_msg "(JDK) was found. Please download and install JDK 1.4 or higher and set"
|
|
| 117 |
log_failure_msg "JAVA_HOME in /etc/default/jetty to the JDK's installation directory."
|
|
| 116 |
log_failure_msg "(JDK) was found. Please download and install JDK 1.6 or higher and set"
|
|
| 117 |
log_failure_msg "JAVA_HOME in /etc/default/cdmserver to the JDK's installation directory."
|
|
| 118 | 118 |
exit 0 |
| 119 | 119 |
fi |
| 120 | 120 |
|
Also available in: Unified diff
improved error message in case of missing JAVA_HOME