mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8d2249 | patch | commitdiff
ludovicp
30.56.2010 bf50f318a18239941d3c885be112e57e611a9c80
refs
author ludovicp <ludovicp@localhost>
Friday, July 30, 2010 16:56 +0200
committer ludovicp <ludovicp@localhost>
Friday, July 30, 2010 16:56 +0200
commitbf50f318a18239941d3c885be112e57e611a9c80
tree c1ed23973ca49f0fe497a703df7e091f016153ec tree | zip | gz
parent 8d2249637a5f4ea0b54b54f1664c842489d7ea62 view | diff 
Fix the serverID of the exporter server in the initialization log message.
1 files modified
4 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/replication/service/ReplicationDomain.java 4 ●●●●● diff | view | raw | blame | history