[Debian-live-changes] r2029 - dists/trunk/live-helper/helpers

[daniel at alioth.debian.org]

Author: daniel
Date: 2007-06-10 21:42:43 +0000 (Sun, 10 Jun 2007)
New Revision: 2029

Modified:
   dists/trunk/live-helper/helpers/lh_clean
Log:


Modified: dists/trunk/live-helper/helpers/lh_clean
===================================================================
--- dists/trunk/live-helper/helpers/lh_clean	2007-06-10 19:35:47 UTC (rev 2028)
+++ dists/trunk/live-helper/helpers/lh_clean	2007-06-10 21:42:43 UTC (rev 2029)
@@ -53,6 +53,7 @@
 
 	chroot)
 		${LH_ROOT_COMMAND} umount -f chroot/sys > /dev/null 2>&1 || true
+		${LH_ROOT_COMMAND} umount -f chroot/proc/sys/fs/binfmt_misc > /dev/null 2>&1 || true
 		${LH_ROOT_COMMAND} umount -f chroot/proc > /dev/null 2>&1 || true
 		${LH_ROOT_COMMAND} umount -f chroot/lib/init/rw > /dev/null 2>&1 || true
 		${LH_ROOT_COMMAND} umount -f chroot/dev/shm > /dev/null 2>&1 || true