Beispiel #1
0
 public void dealWithServerCrash(string partition_id, string server_id)
 {
     PartitionMapping.removePartitionMaster(partition_id);
 }