diff options
| author | Roy Marples <roy@marples.name> | 2008-07-09 14:24:48 +0000 |
|---|---|---|
| committer | Roy Marples <roy@marples.name> | 2008-07-09 14:24:48 +0000 |
| commit | 5983add0f21fdacded88836aae8b8e392599060c (patch) | |
| tree | 172886f40ce3b3ec78c424b186f44a9fcd02d2ed /init.d | |
| parent | a566493eb8a1b81260f2c51870148de84f03c3e7 (diff) | |
No point in re-mounting ro filesystems that are already ro.
Diffstat (limited to 'init.d')
| -rw-r--r-- | init.d/halt.sh.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/init.d/halt.sh.in b/init.d/halt.sh.in index 0b36ec43..74ac02b7 100644 --- a/init.d/halt.sh.in +++ b/init.d/halt.sh.in @@ -82,6 +82,7 @@ if [ "${RC_UNAME}" = "Linux" ]; then [ -n "${fs}" ] && fs="^(${fs})$" do_unmount "mount -n -o remount,ro" \ --skip-point-regex "^(/dev|/dev/.*|/proc|/proc/.*|/sys|/sys/.*)$" \ + --skip-options-regex "^ro" \ ${fs:+--skip-fstype-regex} ${fs} --nonetdev eoutdent eend $? |