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

Jean-Noel Rouvignac
25.39.2013 5b2a1411644980f10b6d826155752f85e40bdd78
opends/src/server/org/opends/server/replication/server/ReplicationServerDomain.java
@@ -896,14 +896,16 @@
  /**
   * Stop operations with a list of replication servers.
   *
   * @param replServerURLs
   *          the replication servers URLs for which we want to stop operations
   * @param serversToDisconnect
   *          the replication servers addresses for which we want to stop
   *          operations
   */
  public void stopReplicationServers(Collection<String> replServerURLs)
  public void stopReplicationServers(Collection<HostPort> serversToDisconnect)
  {
    for (ReplicationServerHandler rsHandler : connectedRSs.values())
    {
      if (replServerURLs.contains(rsHandler.getServerAddressURL()))
      if (serversToDisconnect.contains(
            HostPort.valueOf(rsHandler.getServerAddressURL())))
      {
        stopServer(rsHandler, false);
      }