diff options
Diffstat (limited to 'rc.d')
| -rwxr-xr-x | rc.d/init.d/halt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rc.d/init.d/halt b/rc.d/init.d/halt index 7c7fbf70..8fd08c6d 100755 --- a/rc.d/init.d/halt +++ b/rc.d/init.d/halt @@ -65,7 +65,7 @@ SWAPS=`awk '! /^Filename/ { print $1 }' /proc/swaps` # Unmount file systems, killing processes if we have to. sig= retry=3 -remaining=`awk '!/(^#|proc|^none|^\/dev\/root)/ {print $2}' /proc/mounts` +remaining=`awk '!/(^#|proc|^none|^\/dev\/root| \/ )/ {print $2}' /proc/mounts` while [ -n "$remaining" -a "$retry" -gt 0 ] do if [ "$retry" -lt 3 ]; then @@ -74,7 +74,7 @@ do runcmd "Unmounting file systems" umount -a -f -t noproc fi sleep 2 - remaining=`awk '!/(^#|proc|^none|^\/dev\/root)/ {print $2}' /proc/mounts` + remaining=`awk '!/(^#|proc|^none|^\/dev\/root| \/ )/ {print $2}' /proc/mounts` [ -z "$remaining" ] && break /sbin/fuser -k -m $sig $remaining >/dev/null sleep 5 |