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

jvergara
19.16.2007 dd2c8f0c90d0eb64f6b9df5b17e30bc5ecd94527
opendj-sdk/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,