From 1eb5157b9a1fc89ff88074a700417eb61c70a5da Mon Sep 17 00:00:00 2001
From: boyska <piuttosto@logorroici.org>
Date: Wed, 20 Jul 2011 01:37:59 +0200
Subject: [PATCH] Fix #7 tomb's mountpoint persistence

---
 src/tomb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tomb b/src/tomb
index b9d250e..b445c84 100755
--- a/src/tomb
+++ b/src/tomb
@@ -965,6 +965,7 @@ umount_tomb() {
     if [ $tombmount ]; then # tomb is actively mounted
 	func "performing umount of $tombmount"
 	umount ${tombmount} 2> /dev/null
+    rm -r ${tombmount}
 	if ! [ $? = 0 ]; then
 	    error "Tomb is busy, cannot umount!"
 	fi