diff options
| author | Roy Marples <roy@marples.name> | 2007-10-09 15:33:05 +0000 |
|---|---|---|
| committer | Roy Marples <roy@marples.name> | 2007-10-09 15:33:05 +0000 |
| commit | dc0ba7ebf3109b2bbdd73c5f0a411ba6129c2daf (patch) | |
| tree | 2786be756e7ab35af0802eeea2f79820b2f4e7ff /init.d/halt.sh | |
| parent | e89805e0c06792c58c19e47f99ab6379d69a2149 (diff) | |
netmount, localmount, halt.sh and net scripts now check OS specific flags to see if a mount is network mounted (linux = fstab, *bsd = "local" in mount options) or not, #192772.
Diffstat (limited to 'init.d/halt.sh')
| -rwxr-xr-x | init.d/halt.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/init.d/halt.sh b/init.d/halt.sh index f02c1336..f94f4d28 100755 --- a/init.d/halt.sh +++ b/init.d/halt.sh @@ -72,7 +72,9 @@ if [ "${RC_UNAME}" = "Linux" ] ; then fs="${fs}${fs:+|}${x}" done [ -n "${fs}" ] && fs="^(${fs})$" - do_unmount "mount -n -o remount,ro" "^(/dev|/dev/.*|/proc|/proc/.*|/sys|/sys/.*)$" "" "" "${fs}" + do_unmount "mount -n -o remount,ro" \ + --skip-point-regex "^(/dev|/dev/.*|/proc|/proc/.*|/sys|/sys/.*)$" \ + ${fs:+--skip-fstype-regex} ${fs} --nonetdev eoutdent eend $? unmounted=$? |