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

gbellato
30.36.2009 ff3780d4b157202e13413fce11958bbf59cc737a
opendj-sdk/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)
    {