From bed27944dc277a31ff04e439d89cbd2f765062c9 Mon Sep 17 00:00:00 2001
From: Bill Nottingham <notting@redhat.com>
Date: Mon, 22 Mar 2004 17:15:48 +0000
Subject: don't umount /proc (#118880)

---
 rc.d/init.d/halt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'rc.d/init.d')

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
-- 
cgit v1.2.1