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

gbellato
10.56.2009 40483c36210b8a0682a9dd400f0419d11b76483e
opendj-sdk/opends/src/server/org/opends/server/replication/server/DbHandler.java
@@ -579,8 +579,11 @@
    @Override
    public String getMonitorInstanceName()
    {
      return "ReplicationServer database " + baseDn.toString() +
             " " + String.valueOf(serverId);
      ReplicationServerDomain domain =
        replicationServer.getReplicationServerDomain(baseDn, false);
      return "ReplicationServer database " + String.valueOf(serverId) +
             ",cn=" + domain.getMonitorInstanceName();
    }
    /**