fix: remove gziped pickle too on error.

pull/653/head
Raphaël Vinot 2023-03-30 15:50:13 +02:00
parent d443aa4d80
commit 8122b9904c
1 changed files with 3 additions and 0 deletions

View File

@ -95,8 +95,11 @@ class CaptureCache():
def remove_pickle_tree(capture_dir: Path) -> None:
pickle_file = capture_dir / 'tree.pickle'
pickle_file_gz = capture_dir / 'tree.pickle.gz'
if pickle_file.exists():
pickle_file.unlink()
if pickle_file_gz.exists():
pickle_file_gz.unlink()
@lru_cache(maxsize=256)