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

jvergara
19.16.2007 7b882d3300019e3fa8d850bbd44ffc3aac68dc2d
opends/src/quicksetup/org/opends/quicksetup/installer/InstallerHelper.java
@@ -396,9 +396,11 @@
        usedServerIds.add(domain.getServerId());
        domain.commit();
        servers.removeAll(oldServers);
        Set<String> addedServers = new TreeSet<String>();
        addedServers.addAll(servers);
        addedServers.removeAll(oldServers);
        ConfiguredDomain domainConf = new ConfiguredDomain(domainName,
            isCreated, servers);
            isCreated, addedServers);
        domainsConf.add(domainConf);
      }
      return new ConfiguredReplication(synchProviderCreated,