[SCM] live-boot branch, debian, updated. debian/3.0_b3-1

[Daniel Baumann]

The following commit has been merged in the debian branch:
commit 2d6f480a16a5af6d8a1599716ca8d859b1e69ee4
Author: Gaudenz Steinlin <gaudenz at debian.org>
Date:   Wed Sep 26 13:38:39 2012 +0200

    Removing mountpoint if no persistence layer is found on a device.

diff --git a/scripts/boot/9990-misc-helpers.sh b/scripts/boot/9990-misc-helpers.sh
index 117876f..4429c33 100755
--- a/scripts/boot/9990-misc-helpers.sh
+++ b/scripts/boot/9990-misc-helpers.sh
@@ -911,7 +911,9 @@ probe_for_file_name ()
 	then
 		echo ${ret}
 	else
+		# unmount and remove mountpoint
 		umount ${backing} > /dev/null 2>&1 || true
+		rmdir ${backing} > /dev/null 2>&1 || true
 	fi
 }
 

-- 
live-boot