No point in re-mounting ro filesystems that are already ro.

2008-07-09 14:24:48 +00:00 · 2008-07-09 14:24:48 +00:00 · 5983add0f2
commit 5983add0f2
parent a566493eb8
1 changed files with 1 additions and 0 deletions
--- 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 $?