mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

ludovicp
18.05.2010 154fe7cbc66d827c66b1589ca4e5b38a1ef993e4
opends/resource/bin/_script-util.sh
@@ -29,7 +29,7 @@
# Display an error message
#
display_java_not_found_error() {
  echo "Please set OPENDS_JAVA_HOME to the root of a Java 6 (or later) installation"
  echo "Please set OPENDS_JAVA_HOME to the root of a Java 6 update 10 (or higher) installation"
  echo "or edit the java.properties file and then run the dsjavaproperties script to"
  echo "specify the Java version to be used"
}
@@ -149,7 +149,7 @@
      echo "ERROR:  The detected Java version could not be used.  The detected"
      echo "Java binary is:"
      echo "${OPENDS_JAVA_BIN}"
      echo "You must specify the path to a valid Java 6.0 or higher version."
      echo "You must specify the path to a valid Java 6.0 update 10 or higher version."
      echo "The procedure to follow is:"
      echo "1. Delete the file ${INSTANCE_ROOT}/lib/set-java-home" if it exists.
      echo "2. Set the environment variable OPENDS_JAVA_HOME to the root of a valid "
@@ -177,7 +177,7 @@
      echo "arguments ${OPENDS_JAVA_ARGS}."
      echo "The detected Java binary is:"
      echo "${OPENDS_JAVA_BIN}"
      echo "You must specify the path to a valid Java 6.0 or higher version."
      echo "You must specify the path to a valid Java 6.0 update 10 or higher version."
      echo "The procedure to follow is:"
      echo "1. Delete the file ${INSTANCE_ROOT}/lib/set-java-home" if it exists.
      echo "2. Set the environment variable OPENDS_JAVA_HOME to the root of a valid "