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

jvergara
20.14.2007 8963133449c96bad6d5e4d70e7840eb3126747f6
opendj-sdk/opends/src/server/org/opends/server/util/SetupUtils.java
@@ -203,7 +203,15 @@
    }
    File binDirectory = new File(serverRoot, "bin");
    File binDirectory;
    if (isWindows())
    {
      binDirectory = new File(serverRoot, "bat");
    }
    else
    {
      binDirectory = new File(serverRoot, "bin");
    }
    File setJavaHomeFile;
    if (isWindows())
    {