

def _launch_registry_server(self):
    registry_path = os.path.join(MainSettings.ROOT, 'registry')
    for name in os.listdir(registry_path):
        self._create(os.path.join(registry_path, name))
    info_log(self.TAG, 'Sleeping for 10 seconds so registry launch can complete...')
    time.sleep(10)

dataset/ETHPy150Open binder-project/binder/binder/cluster.py KubernetesManager._launch_registry_server/original