fix #51: added a check into umount_tomb() before removing mount point: if it's the default one, then delete it

2024-11-22 12:35:13 +00:00 · 2011-10-25 19:37:28 +02:00 · 2011-10-25 19:37:28 +02:00 · 350eeb7483
commit 350eeb7483
parent 262855fa10
1 changed files with 5 additions and 2 deletions
--- a/src/tomb
+++ b/src/tomb
@ -954,8 +954,11 @@ umount_tomb() {
 	umount ${tombmount}
 	if ! [ $? = 0 ]; then
 	    error "Tomb is busy, cannot umount!"
-	else
-	    rmdir ${tombmount}
+	else   
+        # this means we used a "default" mount point
+        if [ "${tombmount}" = "/media/${tombname}.tomb" ]; then
+	        rmdir ${tombmount}
+        fi
 	fi
    fi