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

Jean-Noel Rouvignac
17.27.2015 09231099ef1a49460ef0d04f89e02a43412c7ca6
opendj-server-legacy/src/main/java/org/opends/server/admin/doc/ConfigGuideGeneration.java
@@ -694,7 +694,7 @@
    // Property table
    startTable();
    tableRow("Description",
      ((prop.getSynopsis() != null) ? prop.getSynopsis().toString()+ " " : "") +
      ((prop.getSynopsis() != null) ? prop.getSynopsis()+ " " : "") +
      ((prop.getDescription() != null) ?
        prop.getDescription().toString() : ""));
@@ -1147,7 +1147,7 @@
        for (Object cst : en.getEnumConstants()) {
          enumStr += cst.toString();
          if (prop.getValueSynopsis((Enum) cst) != null) {
            enumStr += " - " + prop.getValueSynopsis((Enum) cst).toString();
            enumStr += " - " + prop.getValueSynopsis((Enum) cst);
          }
          enumStr += getNewLine() + getNewLine();
        }