#!/bin/sh /etc/rc.common

start()
{
	log 'Mounting device file systems'
	[ -d /dev/pts ] || mkdir -m 0755 /dev/pts
	if ! mount | grep -Fq ' /dev/pts '; then
		mount -t devpts -o noexec,nosuid,gid=5,mode=0620 \
			devpts /dev/pts
	fi
	ln -sf /run/shm /dev/shm
}

stop()
{
	log 'Unmounting device file systems'
	if mount | grep -Fq ' /dev/pts '; then
		umount /dev/pts
	fi
	rm -f /dev/shm
}