#!/bin/sh

root=/home/palace1/palace

if [ -f $root/palace/logs/pserver.pid ]
then
  PID=`cat $root/palace/logs/pserver.pid`
  if kill -0 $PID 2> /dev/null
  then
    kill -TERM $PID 2> /dev/null
    sleep 3
    if kill -0 $PID 2> /dev/null
    then
      kill -KILL $PID 2> /dev/null
      sleep 3
    fi
    if kill -0 $PID 2> /dev/null
    then
      echo "ERROR: Palace Server isn't shutting down"
    else
      echo "Palace Server shut down"
    fi
  else
    echo "ERROR: Palace Server already shut down, or invalid permissions"
  fi
  rm $root/palace/logs/pserver.pid
else
  echo "ERROR: Palace Server isn't running"
fi

