def set_random_master_port(): port = RANDOM_PORTS.pop() os.environ['MASTER_PORT'] = str(port)
def set_random_main_port(): reset_seed() port = RANDOM_PORTS.pop() os.environ["MASTER_PORT"] = str(port)