releng.control/killcc.sh

#!/bin/sh
PIDFILE=cc.pid
echo;
if [ -f ${PIDFILE} ] ; then
  echo "    Killing CC process from PID file"
  PID=`cat ${PIDFILE}`
  kill -3 $PID
  # if permission denied, for example, then be sure not to remove PID file
  if [ $? ] 
  then
	  if kill -9 $PID ; then
	    echo "    CC process stopped"
	    rm -f ${PIDFILE}
	  else
	    echo "    CC process could not be stopped"
	  fi
  else
    echo "    Could not kill the process."  
  fi
else
	echo "    PID file (${PIDFILE}) does not exist."
	echo "        Either CC not running, or PID file deleted"
fi
echo