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

jvergara
25.13.2007 4bd78f7c29f0348bbb04c17246c16b8691294f85
opendj-sdk/opends/resource/uninstall
@@ -43,7 +43,7 @@
      then
        export JAVA_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
@@ -101,7 +101,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
@@ -110,7 +110,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