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

case "$1" in
  start)

	echo "Starting Portal server "
	/usr/local/portal/portald
	;;
  stop)
	echo -n "Stopping Portal server "
	killall portald
	killall portald 2>/dev/null
	killall portald 2>/dev/null
	;;
  status)
	;;
  reload)
	;;
  restart)
	;;
  *)
	echo "Usage: $0 {start|stop|status|restart}"
	exit 1
	;;
esac
exit 0
