diff options
| -rwxr-xr-x | init.d/halt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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=$? |