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

gbellato
16.20.2007 6c9275c082fc2252366282be7c5b1c9be2ae9edc
refs
author gbellato <gbellato@localhost>
Wednesday, May 16, 2007 15:20 +0200
committer gbellato <gbellato@localhost>
Wednesday, May 16, 2007 15:20 +0200
commit6c9275c082fc2252366282be7c5b1c9be2ae9edc
tree ee0bba213f12e6bceedfebdc1acf368a19c4ae75 tree | zip | gz
parent 3430570446c05d9b4e2fa08f46a5de2a12649378 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
opendj-sdk/opends/src/server/org/opends/server/replication/plugin/ReplicationBroker.java 6 ●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/replication/server/ReplicationServer.java 12 ●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/replication/server/ServerHandler.java 5 ●●●●● diff | view | raw | blame | history