(shortname)
| 139 | |
| 140 | |
| 141 | def erase_file(shortname): |
| 142 | with lock('erase: ' + shortname): |
| 143 | name = Path(cachedir, shortname) |
| 144 | if name.exists(): |
| 145 | logger.info(f'deleting cached file: {name}') |
| 146 | utils.delete_file(name) |
| 147 | |
| 148 | |
| 149 | def get_lib(libname, *args, **kwargs): |