From 34798918306e7aa5d080e274a5d58c8b5fa983e8 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel@debian.org>
Date: Fri, 21 May 2010 08:40:03 +0200
Subject: Also (try) unmounting /dev/shm in exit function.
---
functions/exit.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/functions/exit.sh b/functions/exit.sh
index b32fd00..338f285 100755
--- a/functions/exit.sh
+++ b/functions/exit.sh
@@ -28,7 +28,7 @@ Exit ()
umount ${DIRECTORY} > /dev/null 2>&1 || true
done
else
- for DIRECTORY in /dev/pts /dev /proc /selinux /sys
+ for DIRECTORY in /dev/shm /dev/pts /dev /proc /selinux /sys
do
umount -f chroot/${DIRECTORY} > /dev/null 2>&1 || true
done
--
cgit v1.0