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

gbellato
10.56.2009 8bdfb229e4b8789bb1954fa0da8c1098c382bd4e
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();
    }
    /**