#! /bin/sh
#
# chkconfig: 345 90 20
# description: Portal server

### BEGIN INIT INFO
# Provides: portald
# Required-Start:
# Required-Stop:
# Default-Start: 3 4 5
# Default-Stop: 0 1 2 6
# Short-Description: Air Marshal server
### END INIT INFO

case "$1" in
  start|restart)
	pkill -f /usr/local/portal/portald
	killall -e -q -w /usr/local/portal/portald
	echo "Starting Portal server"
	/usr/local/portal/portald
	;;
  stop)
	echo "Stopping Portal server"
	pkill -f /usr/local/portal/portald
	killall -e -q -w /usr/local/portal/portald
	;;
  status)
	;;
  reload)
	;;
  *)
	echo "Usage: $0 {start|stop|restart}"
	exit 1
	;;
esac
exit 0

