From 9d18c195d7c40fb1027f83edd7dbd1a16f2a9698 Mon Sep 17 00:00:00 2001
From: Roy Marples <roy@marples.name>
Date: Fri, 5 Oct 2007 14:15:06 +0000
Subject: [PATCH] Don't unmount stuff in /dev or /sys

---
 init.d/halt.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.d/halt.sh b/init.d/halt.sh
index ae369796..f02c1336 100755
--- a/init.d/halt.sh
+++ b/init.d/halt.sh
@@ -72,7 +72,7 @@ if [ "${RC_UNAME}" = "Linux" ] ; then
 		fs="${fs}${fs:+|}${x}"
 	done
 	[ -n "${fs}" ] && fs="^(${fs})$"
-	do_unmount "mount -n -o remount,ro" "^(/dev|/dev/pts|/dev/shm|/proc|/proc/.*|/sys)$" "" "" "${fs}"
+	do_unmount "mount -n -o remount,ro" "^(/dev|/dev/.*|/proc|/proc/.*|/sys|/sys/.*)$" "" "" "${fs}"
 	eoutdent
 	eend $?
 	unmounted=$?