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

mrossign
06.11.2009 b1ab1b61b2a5cb4a09cd2e727e05f42feb8ca669
opendj-sdk/opends/src/server/org/opends/server/replication/protocol/MonitorMsg.java
@@ -93,6 +93,24 @@
  }
  /**
   * Sets the sender ID.
   * @param senderID The sender ID.
   */
  public void setSenderID(int senderID)
  {
    this.senderID = senderID;
  }
  /**
   * Sets the destination.
   * @param destination The destination.
   */
  public void setDestination(int destination)
  {
    this.destination = destination;
  }
  /**
   * Sets the state of the replication server.
   * @param state The state.
   */