diff options
| author | Bill Nottingham <notting@redhat.com> | 2004-03-22 17:15:06 +0000 |
|---|---|---|
| committer | Bill Nottingham <notting@redhat.com> | 2004-03-22 17:15:06 +0000 |
| commit | a286d445a8f5742c75563f35f3b5af55b27a5e41 (patch) | |
| tree | 9eb14260eb891b4921a0c64a3c956a682565b5fc /rc.d/init.d | |
| parent | 1cf4853f31dd67259ae62fecece31a99f37b1b1f (diff) | |
| download | initscripts-a286d445a8f5742c75563f35f3b5af55b27a5e41.tar initscripts-a286d445a8f5742c75563f35f3b5af55b27a5e41.tar.gz initscripts-a286d445a8f5742c75563f35f3b5af55b27a5e41.tar.bz2 initscripts-a286d445a8f5742c75563f35f3b5af55b27a5e41.tar.xz initscripts-a286d445a8f5742c75563f35f3b5af55b27a5e41.zip | |
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 d9faaaf8..15d6b994 100755 --- a/rc.d/init.d/halt +++ b/rc.d/init.d/halt @@ -194,7 +194,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 |