diff options
| author | Bill Nottingham <notting@redhat.com> | 2004-03-22 17:15:48 +0000 |
|---|---|---|
| committer | Bill Nottingham <notting@redhat.com> | 2004-03-22 17:15:48 +0000 |
| commit | bed27944dc277a31ff04e439d89cbd2f765062c9 (patch) | |
| tree | 1f301271b1974e0e7364ed478408c79b92eb37db /rc.d/init.d | |
| parent | 71e138746018208ab57ac39081d123f68bbf3153 (diff) | |
don't umount /proc (#118880)
Diffstat (limited to 'rc.d/init.d')
| -rwxr-xr-x | rc.d/init.d/halt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rc.d/init.d/halt b/rc.d/init.d/halt index 6d3afdd4..6a210289 100755 --- a/rc.d/init.d/halt +++ b/rc.d/init.d/halt @@ -173,7 +173,7 @@ done rm -f /.autofsck # Try all file systems other than root and RAM disks, one last time. -mount | awk '!/( \/ |^\/dev\/root|^\/dev\/ram)/ { print $3 }' | \ +mount | awk '!/( \/ |^\/dev\/root|^\/dev\/ram| \/proc )/ { print $3 }' | \ while read line; do umount -f $line done |