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

fdorson
07.45.2008 87e069074e41b0008cf0b549fce36b7dc4fcae30
opends/src/server/org/opends/server/replication/server/ReplicationServerDomain.java
@@ -37,6 +37,7 @@
import java.io.IOException;
import java.util.ArrayList;
import java.util.Collection;
import java.util.LinkedHashSet;
import java.util.List;
import java.util.Map;
@@ -330,6 +331,21 @@
  }
  /**
   * Stop operations with a list of servers.
   *
   * @param replServers the replication servers for which
   * we want to stop operations
   */
  public void stopServers(Collection<String> replServers)
  {
    for (ServerHandler handler : replicationServers.values())
    {
      if (replServers.contains(handler.getServerAddressURL()))
        stopServer(handler);
    }
  }
  /**
   * Stop operations with a given server.
   *
   * @param handler the server for which we want to stop operations