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

jvergara
21.53.2009 f708379ce23e460d8697cb544112b1849fd1c83c
opends/src/ads/org/opends/admin/ads/ServerDescriptor.java
@@ -1042,6 +1042,8 @@
    desc.serverProperties.put(ServerProperty.IS_REPLICATION_ENABLED,
        replicationEnabled ? Boolean.TRUE : Boolean.FALSE);
    Set<String> allReplicationServers = new LinkedHashSet<String>();
    if (cacheFilter.searchBaseDNInformation())
    {
      ctls = new SearchControls();
@@ -1085,6 +1087,7 @@
                  repServers.add(s.toLowerCase());
                }
                replica.setReplicationServers(repServers);
                allReplicationServers.addAll(repServers);
              }
            }
          }
@@ -1134,8 +1137,9 @@
        {
          repServers.add(s.toLowerCase());
        }
        allReplicationServers.addAll(repServers);
        desc.serverProperties.put(ServerProperty.EXTERNAL_REPLICATION_SERVERS,
            repServers);
            allReplicationServers);
      }
    }
    catch (NameNotFoundException nse)