mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1a2646 | patch | commitdiff
pgamba
02.09.2007 d1465691c70a578c22f2d0d5e0efc812bcdfc4e8
refs
author pgamba <pgamba@localhost>
Friday, November 2, 2007 16:09 +0100
committer pgamba <pgamba@localhost>
Friday, November 2, 2007 16:09 +0100
commitd1465691c70a578c22f2d0d5e0efc812bcdfc4e8
tree fc907594c62ca9b341fc58ee5cb9371c30baba18 tree | zip | gz
parent 1a26464190204cdcb6d66d4125dd5f058cfb08f8 view | diff 
Fix 2520 - Notice : Directory server has disconnected  - Make the heartbeat monitor to fail after 2 consecutive period with no heartbeat detected
1 files modified
20 ■■■■■ changed files
opends/src/server/org/opends/server/replication/plugin/HeartbeatMonitor.java 20 ●●●●● diff | view | raw | blame | history