« Previous | Next » 

Revision 7219d3cd

ID7219d3cd161e8135e6489477eeb8e3647eb06959
Parent 47a03f1b
Child fe987d1b

Added by Ruben S. Montero almost 4 years ago

B : Prevent race-condition when leader-follower transitions

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences