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