def rm_empty_dir(path):
    try:
        os.rmdir(path)
    except __HOLE__: # directory might not exist or not be empty
        pass
dataset/ETHPy150Open ContinuumIO/menuinst/menuinst/utils.py/rm_empty_dir