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

jvergara
09.48.2009 acf9674d60e482c22bbaab68119540a5a460fdf4
opends/src/server/org/opends/server/tools/dsreplication/ReplicationCliMain.java
@@ -3294,6 +3294,7 @@
        if (!hasReplicationPort1)
        {
          if (!argParser.skipReplicationPortCheck() &&
              uData.configureReplicationServer1() &&
              isLocalHost(host1) &&
              !SetupUtils.canUseAsPort(replPort1))
          {
@@ -3303,6 +3304,7 @@
        if (!hasReplicationPort2)
        {
          if (!argParser.skipReplicationPortCheck() &&
              uData.configureReplicationServer2() &&
              isLocalHost(host2) &&
              !SetupUtils.canUseAsPort(replPort2))
          {
@@ -7130,7 +7132,7 @@
        ServerDescriptor s = replica.getServer();
        if (!alreadyConfiguredServers.contains(s.getId()))
        {
          serversToConfigureDomain.add(server);
          serversToConfigureDomain.add(s);
        }
      }
    }