[jboss-jira] [JBoss JIRA] Updated: (JGRP-1025) Harden FLUSH
[
https://jira.jboss.org/jira/browse/JGRP-1025?page=com.atlassian.jira.plug...
]
Bela Ban updated JGRP-1025:
---------------------------
Fix Version/s: 2.10
(was: 2.9)
Harden FLUSH
------------
Key: JGRP-1025
URL: https://jira.jboss.org/jira/browse/JGRP-1025
Project: JGroups
Issue Type: Task
Reporter: Bela Ban
Assignee: Vladimir Blagojevic
Fix For: 2.10
Make sure no FLUSH is left hanging, e.g. due to the crash of the flush leader after the
START-FLUSH round.
In other words, make analyze the code and make sure STOP-FLUSH is eventually called.
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
https://jira.jboss.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira