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

Jean-Noel Rouvignac
15.44.2015 ef171d1e8556bc183ee08e9f79c24e41c99a8976
opendj-server-legacy/src/main/java/org/opends/server/admin/doc/ConfigGuideGeneration.java
@@ -488,7 +488,7 @@
    propertiesLinkTable(basicProps, advancedProps);
    // basic properties
    if (basicProps.size() > 0) {
    if (!basicProps.isEmpty()) {
      heading4("Basic Properties");
      for ( PropertyDefinition prop : basicProps.values()) {
        generateProperty(mo, prop);
@@ -498,7 +498,7 @@
    }
    // advanced properties
    if (advancedProps.size() > 0) {
    if (!advancedProps.isEmpty()) {
      heading4("Advanced Properties");
      for ( PropertyDefinition prop : advancedProps.values()) {
        generateProperty(mo, prop);