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

pgamba
07.36.2007 86847c52855283d5e7092f8edab36e836929baad
opendj-sdk/opends/src/server/org/opends/server/replication/plugin/ReplicationMonitor.java
@@ -129,6 +129,10 @@
    addMonitorData(attributes, "unresolved-naming-conflicts",
                   domain.getNumUnresolvedNamingConflicts());
    /* get server-id */
    addMonitorData(attributes, "server-id",
                   domain.getServerId());
    /* get window information */
    addMonitorData(attributes, "max-rcv-window", domain.getMaxRcvWindow());
    addMonitorData(attributes, "current-rcv-window",