[jboss-jira] [JBoss JIRA] Created: (JGRP-1025) Harden FLUSH

[Bela Ban (JIRA)]

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.9


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