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

Ludovic Poitou
07.08.2013 0d97a7da226d93b8b87467efde523aa2120ceabc
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,