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

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

stop()
{
	log 'Unmounting device file systems'
	if [ -e /dev/pts/ptmx ]; then
		umount /dev/pts || return ${?}
	fi
	rm -f /dev/shm
}