[jboss-jira] [JBoss JIRA] (JGRP-1026) Harden merge
Bela Ban (Deleted) (JIRA)
jira-events at lists.jboss.org
Tue Oct 25 13:25:45 EDT 2011
[ https://issues.jboss.org/browse/JGRP-1026?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Bela Ban deleted JGRP-1026:
---------------------------
> Harden merge
> ------------
>
> Key: JGRP-1026
> URL: https://issues.jboss.org/browse/JGRP-1026
> Project: JGroups
> Issue Type: Task
> Reporter: Bela Ban
> Assignee: Bela Ban
>
> Make sure that no merge is ever left hanging, e.g. due to the crash of the merge coordinator after the initial phase. This could prevent furthur merges.
> Analyze the code and make sure that eventually merges are always completed or aborted.
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.jboss.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira
More information about the jboss-jira
mailing list