#!/bin/sh
#
# Start Mouse event server

PIDFILE=/var/run/gpmpid
GPM=/usr/sbin/gpm
CFG=/etc/gpm.conf

test -x $GPM || exit 0

if [ "`whoami`" != "root" ]
then
  echo "You must be root to start, stop or restart gpm."
  exit 1
fi
 

cmdln=
if [ -f $CFG ]; then
  . $CFG
  if [ -n "$device" ]; then cmdln="$cmdln -m $device"; fi
  if [ -n "$type" ]; then cmdln="$cmdln -t $type"; fi
  if [ -n "$responsiveness" ]; then cmdln="$cmdln -r $responsiveness"; fi
  if [ -n "$append" ]; then cmdln="$cmdln $append"; fi
fi

case "$1" in
  start)
     echo -n "Starting mouse interface server: gpm"
     start-stop-daemon --start --quiet --exec $GPM -- $cmdln
     echo "."
     ;;
  stop)
     echo -n "Stopping mouse interface server: gpm"
     start-stop-daemon --stop --quiet --oknodo --pidfile $PIDFILE --exec $GPM
     echo "."
     ;;
  force-reload|restart)
     echo -n "Restarting mouse interface server: gpm"
     start-stop-daemon --stop --quiet --oknodo --pidfile $PIDFILE --exec $GPM
     start-stop-daemon --start --quiet --exec $GPM -- $cmdln
     echo "."
     ;;
  *)
     echo "Usage: /etc/init.d/gpm {start|stop|restart|force-reload}"
     exit 1
esac

exit 0
