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

Ludovic Poitou
07.08.2013 07e446a589a761a1d760903675041c13ecb67bbd
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java
@@ -928,10 +928,7 @@
          hmJavaArguments.put(origJavaArguments, transformedArguments);
        }
      }
      else
      {
        // Already checked if supported.
      }
        // else, support is already checked.
    }
    Properties fileProperties = getJavaPropertiesFileContents(
@@ -1157,6 +1154,12 @@
    String libDir = Utils.getPath(Utils
        .getInstancePathFromInstallPath(installPath),
        Installation.LIBRARIES_PATH_RELATIVE);
    // Create directory if it doesn't exist yet
    File fLib = new File(libDir);
    if (! fLib.exists())
    {
      fLib.mkdir();
    }
    if (Utils.isWindows())
    {
      destinationFile = Utils.getPath(libDir,