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

Jean-Noel Rouvignac
16.10.2014 e346d9cf659f4b9e924d952a25b624d195cd0e12
opendj-config/src/main/java/org/forgerock/opendj/config/ConfigurationFramework.java
@@ -366,8 +366,7 @@
     */
    public String printExtensionInformation() {
        final File extensionsPath =
                new File(new StringBuilder(installPath).append(File.separator).append(LIB_DIR)
                        .append(File.separator).append(EXTENSIONS_DIR).toString());
                new File(installPath + File.separator + LIB_DIR + File.separator + EXTENSIONS_DIR);
        if (!extensionsPath.exists() || !extensionsPath.isDirectory()) {
            // no extensions' directory