diff options
| author | Lars Wendler <polynomial-c@gentoo.org> | 2011-04-18 10:28:47 -0500 |
|---|---|---|
| committer | William Hubbs <williamh@gentoo.org> | 2011-04-18 15:26:19 -0500 |
| commit | ede4d1cd60ca7ce283095833b3ad545a6364e178 (patch) | |
| tree | 25da6edb931d6a96f81b755cda5e3169ef84c4b2 | |
| parent | 64ef51ab09943ec28ddd4cb01647c982970cad9c (diff) | |
Don't unmount /run on shutdown
This is needed so that udev will stop properly on shutdown.
X-Gentoo-Bug: 363971
X-Gentoo-Bug-Url: http://bugs.gentoo.org/show_bug.cgi?id=363971
| -rw-r--r-- | init.d/localmount.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/init.d/localmount.in b/init.d/localmount.in index e2ea8018..b4f73460 100644 --- a/init.d/localmount.in +++ b/init.d/localmount.in @@ -49,7 +49,7 @@ stop() fi if [ "$RC_UNAME" = Linux ]; then - no_umounts_r="$no_umounts_r|/proc|/proc/.*|/sys|/sys/.*" + no_umounts_r="$no_umounts_r|/proc|/proc/.*|/run|/sys|/sys/.*" fi no_umounts_r="^($no_umounts_r)$" |