-
Task
-
Resolution: Obsolete
-
Optional
-
JBossAS-4.0.2 Final
-
None
Handle partitions and merges. Here's a use case:
- Group is
{A,B,C,D,E}
* Partition occurs
* Groups are now {A,B,C} and {D,E}
* User drops WAR into E
* D and E will have WAR
* Partition heals, merge occurs
o Group is now {A,B,C,D,E} - A,B,C don't have the WAR, D and E have it
We could possibly use the same algorithm we use to reconcile this when D
and E were offline and a user dropped the WAR into E's ./farm dir.