mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 02090c | patch | commitdiff
gbellato
16.20.2007 ed1a629a316f84a8a9f9d49680f9d2a11aea3034
refs
author gbellato <gbellato@localhost>
Wednesday, May 16, 2007 15:20 +0200
committer gbellato <gbellato@localhost>
Wednesday, May 16, 2007 15:20 +0200
commited1a629a316f84a8a9f9d49680f9d2a11aea3034
tree 0cc1f6eaa4e2d82fd2bd34f8d573da9e67dbfb23 tree | zip | gz
parent 02090cffa9ec4a199b01d2018dd61272ce6ca8f0 view | diff 
use the admin framework facilities to do pattern matchin on the 
replication server addresses to make sure that it contain
both a hostname and a port number.

Also use the last : as the separator in case somebody would want to 
use a IPv6 address.

Issu number 1579
3 files modified
23 ■■■■■ changed files
opends/src/server/org/opends/server/replication/plugin/ReplicationBroker.java 6 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/replication/server/ReplicationServer.java 12 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/replication/server/ServerHandler.java 5 ●●●●● diff | view | raw | blame | history