/etc/init.d/mountdevsubfs: Make more robust.

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
 }