diff options
author | Roy Marples <roy@marples.name> | 2008-07-09 18:28:14 +0000 |
---|---|---|
committer | Roy Marples <roy@marples.name> | 2008-07-09 18:28:14 +0000 |
commit | b15c4758f8cebb444df3ef05a9d1b5c4c8e81cd1 (patch) | |
tree | e3a893a472f57208a432dd06657db1c6ccbde505 | |
parent | 289889ebf0045d603ce857467ed0156d65c8f50b (diff) |
We should unmount / here.
-rw-r--r-- | init.d/halt.sh.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/init.d/halt.sh.in b/init.d/halt.sh.in index 0f189afe..9d2ce775 100644 --- a/init.d/halt.sh.in +++ b/init.d/halt.sh.in @@ -80,7 +80,7 @@ if [ "${RC_UNAME}" = "Linux" ]; then # We need the do_unmount function . "${RC_LIBDIR}"/sh/rc-mount.sh eindent - no_umounts_r="/|/dev|/dev/.*|${RC_SVCDIR}" + no_umounts_r="/dev|/dev/.*|${RC_SVCDIR}" # RC_NO_UMOUNTS is an env var that can be set by plugins OIFS=${IFS} SIFS=${IFS-y} IFS=$IFS: |