From a286d445a8f5742c75563f35f3b5af55b27a5e41 Mon Sep 17 00:00:00 2001
From: Bill Nottingham <notting@redhat.com>
Date: Mon, 22 Mar 2004 17:15:06 +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/halt')

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