Function remove

scripts/python/recordreplay.py:75–83

Removes file, ignoring any error.

(path)

def remove(path):
    '''
    Removes file, ignoring any error.
    '''
    log(f'Removing: {path}')
    try:
        os.remove(path)
    except Exception as e:
        log(f'Failed to remove {path}: {e}')


def readlink(path):