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

gbellato
30.36.2009 de31d33cb934a7ec46beedfbf25fe0f069ac0cfa
opends/src/server/org/opends/server/replication/server/ReplicationServer.java
@@ -1608,7 +1608,8 @@
    // Copy the list of domains as a new domain may arrive or disappear between
    // the initializeMonitorData and completeMonitorData calls
    List<ReplicationServerDomain> rsdList = new ArrayList(baseDNs.values());
    List<ReplicationServerDomain> rsdList =
                new ArrayList<ReplicationServerDomain>(baseDNs.values());
    for (ReplicationServerDomain domain : rsdList)
    {