summaryrefslogtreecommitdiffstats
path: root/src.etc
diff options
context:
space:
mode:
Diffstat (limited to 'src.etc')
-rwxr-xr-xsrc.etc/init.d/mountdevsubfs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src.etc/init.d/mountdevsubfs b/src.etc/init.d/mountdevsubfs
index bb976c8..03c13e0 100755
--- a/src.etc/init.d/mountdevsubfs
+++ b/src.etc/init.d/mountdevsubfs
@@ -4,9 +4,9 @@ start()
{
log 'Mounting device file systems'
[ -d /dev/pts ] || mkdir -m 0755 /dev/pts
- if ! mount | grep -Fq ' /dev/pts '; then
+ if ! [ -e /dev/pts/ptmx ]; then
mount -t devpts -o noexec,nosuid,gid=5,mode=0620 \
- devpts /dev/pts
+ devpts /dev/pts || return ${?}
fi
ln -sf /run/shm /dev/shm
}
@@ -14,8 +14,8 @@ start()
stop()
{
log 'Unmounting device file systems'
- if mount | grep -Fq ' /dev/pts '; then
- umount /dev/pts
+ if [ -e /dev/pts/ptmx ]; then
+ umount /dev/pts || return ${?}
fi
rm -f /dev/shm
}