sysadmin/openfreemap
1
0
Fork 0
mirror of https://github.com/hyperknot/openfreemap.git synced 2026-05-21 14:02:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

comment

Browse Source
This commit is contained in:
Zsolt Ero
2024-09-12 12:56:43 +02:00
parent e015515245
commit 506f9ce48d
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
modules/http_host/http_host_lib/sync.py
View File

@@ -86,6 +86,9 @@ def auto_clean_btrfs():
versions_to_remove = set(local_versions).difference(versions_to_keep) versions_to_remove = set(local_versions).difference(versions_to_keep)
for version in versions_to_remove: for version in versions_to_remove:
# Interesting bit: linux allows us to remove the disk image file for a mount
# while the mount is still being used.
# We delete the disk image, update nginx config and only then unmount the /mnt dir.
print(f' removing version for {area}: {version}') print(f' removing version for {area}: {version}')
version_dir = config.runs_dir / area / version version_dir = config.runs_dir / area / version
shutil.rmtree(version_dir) shutil.rmtree(version_dir)