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

Jean-Noel Rouvignac
17.44.2015 998747bfaaa3c6b28bbfaf0e282e6c0ccbf46bc0
opendj-server-legacy/src/main/java/org/opends/server/admin/ClassLoaderProvider.java
@@ -432,13 +432,8 @@
   *         <code>null</code> if there is no information available.
   */
  public String printExtensionInformation() {
    File extensionsPath =
            new File(new StringBuilder(DirectoryServer.getServerRoot()).
                                append(File.separator).
                                append(LIB_DIR).
                                append(File.separator).
                                append(EXTENSIONS_DIR).
                                toString());
    String pathname = DirectoryServer.getServerRoot() + File.separator + LIB_DIR + File.separator + EXTENSIONS_DIR;
    File extensionsPath = new File(pathname);
    if (!extensionsPath.exists() || !extensionsPath.isDirectory()) {
      // no extensions' directory