| | |
| | | |
| | | import java.io.IOException; |
| | | import java.util.ArrayList; |
| | | import java.util.Collection; |
| | | import java.util.LinkedHashSet; |
| | | import java.util.List; |
| | | import java.util.Map; |
| | |
| | | } |
| | | |
| | | /** |
| | | * 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 |