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

Jean-Noel Rouvignac
16.10.2014 1cbc05effc2edaf777d995045343c882db9cc0d3
opendj-sdk/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