Open arthur00 opened 11 years ago
If the coordinator crashes, a new leader must be elected. Right now, the coordinator is responsible to discover game end. Easiest idea: Pick the "biggest" ADM UUID as the new leader. Related to #62
If the coordinator crashes, a new leader must be elected. Right now, the coordinator is responsible to discover game end. Easiest idea: Pick the "biggest" ADM UUID as the new leader. Related to #62