aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoy Marples <roy@marples.name>2007-10-05 13:37:57 +0000
committerRoy Marples <roy@marples.name>2007-10-05 13:37:57 +0000
commit93684b646e107bba71a286b2a7b14c22c50b4bfd (patch)
tree5b7c38202d38f629a34c6d2b16c0e6b888a46eef
parent2691f95a3a2ae4b27b3c625f2d79f2a2f6e80ef8 (diff)
Don't umount anything in /sys like we do for /proc and /dev
-rwxr-xr-xinit.d/localmount6
1 files changed, 3 insertions, 3 deletions
diff --git a/init.d/localmount b/init.d/localmount
index 06a1979f..4b820267 100755
--- a/init.d/localmount
+++ b/init.d/localmount
@@ -151,8 +151,8 @@ stop() {
# Don't unmount anything for VPS systems
[ "${RC_SYS}" = "VPS" ] && return 0
- # We never unmount / or /dev or $RC_LIBDIR
- local x= no_umounts="/|/dev|${RC_SVCDIR}"
+ # We never unmount / or /dev or $RC_SVCDIR
+ local x= no_umounts="/|/dev|/dev/.*|${RC_SVCDIR}"
# NO_UMOUNTS is taken from /etc/conf.d/localmount
# RC_NO_UMOUNTS is taken from /etc/conf.d/rc and can also be
@@ -169,7 +169,7 @@ stop() {
fi
if [ "${RC_UNAME}" = "Linux" ] ; then
- no_umounts="${no_umounts}|/dev/pts|/dev/shm|/proc|/proc/.*|/sys"
+ no_umounts="${no_umounts}|/proc|/proc/.*|/sys|/sys/.*"
fi
no_umounts="^(${no_umounts})$"