From: Ulrich Dangel <mru@grml.org>
Date: Mon, 12 Dec 2011 18:49:24 +0000 (+0100)
Subject: Umount /proc/sys/fs/binfmt_misc before umounting /proc.
X-Git-Tag: v0.17.1~41
X-Git-Url: http://git.grml.org/?p=grml-live.git;a=commitdiff_plain;h=819fc49d8221b578017bd9ef711c3a8c08023b7f

Umount /proc/sys/fs/binfmt_misc before umounting /proc.

Thanks to dileks for debugging it.
---

diff --git a/grml-live b/grml-live
index e8172ff..1e6b6c3 100755
--- a/grml-live
+++ b/grml-live
@@ -148,6 +148,7 @@ LIVE_CONF=/etc/grml/grml-live.conf
 # umount all directories {{{
 umount_all() {
    # make sure we don't leave any mounts - FAI doesn't remove them always
+   umount $CHROOT_OUTPUT/proc/sys/fs/binfmt_misc 2>/dev/null || /bin/true
    umount $CHROOT_OUTPUT/proc 2>/dev/null || /bin/true
    umount $CHROOT_OUTPUT/sys  2>/dev/null || /bin/true
    umount $CHROOT_OUTPUT/dev/pts 2>/dev/null || /bin/true