#!/bin/sh
#
# devfsd		This script handles the devfs startup, so that
#			permissions are set correctly and device symlinks
#			are available.
#

[ -x /sbin/devfsd ] || exit 0

. /etc/default/devfsd

if [ "$MOUNT" != "no" ]; then
	if [ "$1" = "start" -a ! -e $MOUNTPOINT/.devfsd ]; then
		echo "Mounting devfs on $MOUNTPOINT"
		mount -t devfs devfs $MOUNTPOINT
	fi
fi

[ -e $MOUNTPOINT/.devfsd ] || exit 0

[ -d /proc/1 ] || mount -n /proc

PATH=/bin:/usr/bin:/sbin:/usr/sbin
export PATH

case "$1" in
  start)
	/sbin/devfsd_make_links
	start-stop-daemon --start --exec /sbin/devfsd -- $MOUNTPOINT
	;;
  stop)
	PID=`pidof /sbin/devfsd`
	echo -n "Stopping devfsd: "
	if [ $PID ]; then
		start-stop-daemon --stop --quiet --exec /sbin/devfsd || kill $PID
		echo -n "done."
	else
		echo -n "devfsd not running."
	fi
	echo ""
	;;
  restart|force-reload)
	$0 stop
	sleep 1
	$0 start
	;;
  reload)
	/sbin/devfsd_make_links
	PID=`pidof /sbin/devfsd`
	echo -n "Reloading devfsd: "
	if [ $PID ]; then
		kill -1 $PID
		echo "done."
	else
		echo "devfsd not running."
	fi
	;;
  *)
	echo "Usage: /etc/init.d/devfsd {start|stop|restart|reload|force-reload}" >&2
	exit 1
	;;
esac

exit 0
