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

[Bela Ban (JIRA)]

     [ https://jira.jboss.org/browse/JGRP-1025?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Bela Ban updated JGRP-1025:
---------------------------

    Fix Version/s: 3.0
                       (was: 2.11)


> Harden FLUSH
> ------------
>
>                 Key: JGRP-1025
>                 URL: https://jira.jboss.org/browse/JGRP-1025
>             Project: JGroups
>          Issue Type: Task
>            Reporter: Bela Ban
>            Assignee: Vladimir Blagojevic
>             Fix For: 3.0
>
>
> 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/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira