From 23e6d2a90c12571412ad824eb846a3ce127c6f94 Mon Sep 17 00:00:00 2001 From: Domingo Dirutigliano Date: Mon, 4 Aug 2025 13:27:11 +0200 Subject: [PATCH] lazy umount --- start.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/start.py b/start.py index 30b2179..e3d61dd 100755 --- a/start.py +++ b/start.py @@ -502,7 +502,7 @@ def cleanup_standalone_mounts(): ] # Create umount commands (with || true to ignore errors) - umount_commands = [f"umount {mount_point} || true" for mount_point in mount_points] + umount_commands = [f"umount -l {mount_point} || true" for mount_point in mount_points] # Run all umount commands in one batch run_privileged_commands(umount_commands, "cleanup mounts")