diff options
| author | Roy Marples <roy@marples.name> | 2007-07-11 17:27:46 +0000 |
|---|---|---|
| committer | Roy Marples <roy@marples.name> | 2007-07-11 17:27:46 +0000 |
| commit | 5257ba51b9524b101533308024862e4344c8b6f6 (patch) | |
| tree | 71c5eab595f685a02f2ab2a8adfcac304406c4e4 /init.d/halt.sh | |
| parent | e778dcbfb0ef9cb8101ac7e51c88c322f7ccbd22 (diff) | |
Don't unmount network filesystems in localmount or halt.sh, #175602.
Diffstat (limited to 'init.d/halt.sh')
| -rwxr-xr-x | init.d/halt.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/init.d/halt.sh b/init.d/halt.sh index 1b4acca0..dfcacedd 100755 --- a/init.d/halt.sh +++ b/init.d/halt.sh @@ -65,7 +65,12 @@ if [ "${RC_UNAME}" = "Linux" ] ; then # We need the do_unmount function . "${RC_LIBDIR}"/sh/rc-mount.sh eindent - do_unmount "mount -n -o remount,ro" "^(/dev|/dev/pts|/dev/shm|/proc|/proc/.*|/sys)$" + fs= + for x in ${RC_NET_FS_LIST} ; do + 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}" eoutdent eend $? unmounted=$? |