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