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

gbellato
27.52.2009 49e1790d5cb03664f133d96e01d56cd43c0ffb33
opendj-sdk/opends/src/server/org/opends/server/replication/server/ReplicationServer.java
@@ -1082,7 +1082,9 @@
  }
  /**
   * {@inheritDoc}
   * Retrieves a printable name for this Replication Server Instance.
   *
   * @return A printable name for this Replication Server Instance.
   */
  public String getMonitorInstanceName()
  {