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

jvergara
26.43.2007 eaa6a6f17df404995b40ae6c4caebfd7947be7bb
opends/src/server/org/opends/server/util/SetupUtils.java
@@ -203,19 +203,12 @@
    }
    File binDirectory;
    if (isWindows())
    {
      binDirectory = new File(serverRoot, "bat");
    }
    else
    {
      binDirectory = new File(serverRoot, "bin");
    }
    File libDirectory = new File(serverRoot, "lib");
    File setJavaHomeFile;
    if (isWindows())
    {
      setJavaHomeFile = new File(binDirectory, "set-java-home.bat");
      setJavaHomeFile = new File(libDirectory, "set-java-home.bat");
      if (setJavaHomeFile.exists())
      {
        return setJavaHomeFile;
@@ -229,7 +222,7 @@
    }
    else
    {
      setJavaHomeFile = new File(binDirectory, "set-java-home");
      setJavaHomeFile = new File(libDirectory, "set-java-home");
      if (setJavaHomeFile.exists())
      {
        return setJavaHomeFile;