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

jvergara
20.14.2007 808ad8e19fe1ddf1052d9fd85ffdcf2fa0930ab0
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())
    {