diff-cache: remove diff cache dir on repository removal.

This commit is contained in:
Marcin Kuzminski 2018-04-18 17:19:59 +02:00
parent aad1f972c6
commit 8d985db7e5

View file

@ -919,6 +919,11 @@ class RepoModel(BaseModel):
if os.path.isdir(rm_path):
shutil.move(rm_path, os.path.join(self.repos_path, _d))
# finally cleanup diff-cache if it exists
cached_diffs_dir = repo.cached_diffs_dir
if os.path.isdir(cached_diffs_dir):
shutil.rmtree(cached_diffs_dir)
class ReadmeFinder:
"""