Removing mountpoint if no persistence layer is found on a device.
authorGaudenz Steinlin <gaudenz@debian.org>
Wed, 26 Sep 2012 11:38:39 +0000 (13:38 +0200)
committerDaniel Baumann <daniel@debian.org>
Wed, 26 Sep 2012 11:38:39 +0000 (13:38 +0200)
scripts/boot/9990-misc-helpers.sh

index 117876f..4429c33 100755 (executable)
@@ -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
 }