From e08114fe5d6cf8f138d93d8383a5b19ae5080103 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Tue, 03 Jun 2014 16:04:40 -0400
Subject: /etc/init.d/mountdevsubfs: Make more robust.

---
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
 }
--
cgit v0.9.1