mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 497d70 | patch | commitdiff
mrossign
24.28.2008 52635206c54376a391a2d9b55e37b89ce2d3edfa
refs
author mrossign <mrossign@localhost>
Thursday, January 24, 2008 16:28 +0100
committer mrossign <mrossign@localhost>
Thursday, January 24, 2008 16:28 +0100
commit52635206c54376a391a2d9b55e37b89ce2d3edfa
tree 0d95890ccc32bcb0bf654e1a3f90053cb9c1182b tree | zip | gz
parent 497d7040311c381dcddc44c96124a57f0859f929 view | diff 
Fix for #2863: Processes remain after stopping all replication servers at the same time
3 files modified
36 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/replication/plugin/ListenerThread.java 5 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/replication/plugin/ReplicationBroker.java 22 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/replication/plugin/ReplicationDomain.java 9 ●●●●● diff | view | raw | blame | history