From 94e8aa77c9f8e053e46bd384fbccf8437e72d943 Mon Sep 17 00:00:00 2001
From: Zsolt Ero <zsolt.ero@gmail.com>
Date: Tue, 2 Jan 2024 19:47:29 +0100
Subject: [PATCH] mounter

---
 scripts/http_host/mounter.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/http_host/mounter.py b/scripts/http_host/mounter.py
index f7f2210..575506f 100755
--- a/scripts/http_host/mounter.py
+++ b/scripts/http_host/mounter.py
@@ -78,6 +78,7 @@ def clean_up_mounts():
     lines = [l for l in p.stdout.splitlines() if '/mnt/ofm/' in l and '(deleted)' in l]
     for l in lines:
         mnt_path = Path(l.split('(deleted) on ')[1].split(' type btrfs')[0])
+        print(f'removing deleted mount {mnt_path}')
         assert mnt_path.exists()
         subprocess.run(['umount', mnt_path], check=True)
         mnt_path.rmdir()