From 02b9dc3ea97a470863ac4a6090aab02b3558bf0a Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 10 Jan 2012 21:36:11 +0100
Subject: Unmount /root/config in case of error.

When there is an error, the Exit() handler unmounts filesystems within
the chroot. This adds /root/config to the list used when /proc/mounts is
not available.
---
 functions/exit.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/functions/exit.sh b/functions/exit.sh
index 5152253db..8bf19aaac 100755
--- a/functions/exit.sh
+++ b/functions/exit.sh
@@ -29,7 +29,7 @@ Exit ()
 			umount ${DIRECTORY} > /dev/null 2>&1 || true
 		done
 	else
-		for DIRECTORY in /dev/shm /dev/pts /dev /proc /selinux /sys
+		for DIRECTORY in /dev/shm /dev/pts /dev /proc /selinux /sys /root/config
 		do
 			umount -f chroot/${DIRECTORY} > /dev/null 2>&1 || true
 		done
-- 
cgit v1.2.3