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

[Bela Ban (JIRA)]

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

Bela Ban updated JGRP-1025:
---------------------------
    Fix Version/s: 4.0
                       (was: Future)


> Harden FLUSH
> ------------
>
>                 Key: JGRP-1025
>                 URL: https://issues.jboss.org/browse/JGRP-1025
>             Project: JGroups
>          Issue Type: Task
>            Reporter: Bela Ban
>            Assignee: Vladimir Blagojevic
>             Fix For: 4.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 was sent by Atlassian JIRA
(v7.2.3#72005)