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

[Daniel Baumann]

Author: daniel
Date: 2007-04-11 09:54:24 +0000 (Wed, 11 Apr 2007)
New Revision: 1019

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


Modified: dists/trunk/live-helper/helpers/lh_chroot_proc
===================================================================
--- dists/trunk/live-helper/helpers/lh_chroot_proc	2007-04-11 09:52:54 UTC (rev 1018)
+++ dists/trunk/live-helper/helpers/lh_chroot_proc	2007-04-11 09:54:24 UTC (rev 1019)
@@ -65,7 +65,10 @@
 
 	remove)
 		# Workaround binfmt-support /proc locking
-		umount chroot/proc/sys/fs/binfmt_misc > /dev/null 2>&1 || true
+		if [ -e chroot/proc/sys/fs/binftm_misc/status ]
+		then
+			umount chroot/proc/sys/fs/binfmt_misc
+		fi
 
 		# Unmounting /proc
 		#fuser -km chroot/proc