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

gbellato
03.14.2009 61224659f216b438d7e54f7b9ce2177b7a1453ed
opends/src/server/org/opends/server/replication/server/ReplicationServerDomain.java
@@ -3014,9 +3014,9 @@
     * publish the server id and the port number.
     */
    ArrayList<Attribute> attributes = new ArrayList<Attribute>();
    attributes.add(Attributes.create("replication server id",
    attributes.add(Attributes.create("replication-server-id",
        String.valueOf(replicationServer.getServerId())));
    attributes.add(Attributes.create("replication server port",
    attributes.add(Attributes.create("replication-server-port",
        String.valueOf(replicationServer.getReplicationPort())));
    /*