

def _check_file(modify_times, path):
    try:
        modified = os.stat(path).st_mtime
    except Exception:
        return
    if (path not in modify_times):
        modify_times[path] = modified
        return
    if (modify_times[path] != modified):
        gen_log.info('%s modified; restarting server', path)
        _reload()

dataset/ETHPy150Open D-L/SimpleBookMarks/src/tornado/autoreload.py _check_file/original