public void setNewPartitionMaster(string partition_id, string new_master_id)
{
// removeing partition master means deleting the old one and assigning the new one as a master
PartitionMapping.RemovePartitionMaster(partition_id);
PartitionMapping.SetPartitionMaster(partition_id, new_master_id);
}
