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

neil_a_wilson
27.09.2007 06d36ef141aa0c89ffcc4055926d9285c5017649
Restore changes that appear to have been accidentally reverted by the previous
commit.
1 files modified
8 ■■■■ changed files
opends/resource/upgrade 8 ●●●● patch | view | raw | blame | history
opends/resource/upgrade
@@ -32,9 +32,9 @@
then
  if test -z "${JAVA_HOME}"
  then
    if test -f "${INSTANCE_ROOT}/bin/set-java-home"
    if test -f "${INSTANCE_ROOT}/lib/set-java-home"
    then
      . "${INSTANCE_ROOT}/bin/set-java-home"
      . "${INSTANCE_ROOT}/lib/set-java-home"
      JAVA_BIN="${JAVA_HOME}/bin/java"
      JAVAWS_BIN="${JAVA_HOME}/bin/javaws"
      export JAVA_BIN
@@ -47,7 +47,7 @@
        export JAVA_BIN
        export JAVAWS_BIN
      else
        echo "Please set JAVA_HOME to the root of a Java 5.0 installation."
        echo "Please set JAVA_HOME to the root of a Java 5 (or later) installation."
        exit 1
      fi
    fi
@@ -111,7 +111,7 @@
    if test ${?} -ne 0
    then
      echo "ERROR:  The detected Java version could not be used.  Please set "
      echo "        JAVA_HOME to the root of a Java 5.0 installation."
      echo "        JAVA_HOME to the root of a Java 5 (or later) installation."
      exit 1
    fi
  fi