tomb

commit 1eb5157b9a1fc89ff88074a700417eb61c70a5da
parent 9c9e33500e740c0d803b815bdb56cfd95185322c
Author: boyska <piuttosto@logorroici.org>
Date:   Wed, 20 Jul 2011 01:37:59 +0200

Fix #7 tomb's mountpoint persistence

Diffstat:
M
src/tomb
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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