blob: 28dbe1ae8e17b5c22ea1d199ad6a2c922eb09c61 [file] [log] [blame]
david_williams53f9de12008-01-02 19:31:06 +00001#!/bin/sh
david_williamsd4b1fd32008-01-02 04:16:52 +00002PIDFILE=cc.pid
3echo;
4if [ -f ${PIDFILE} ] ; then
5 echo " Killing CC process from PID file";
6 PID=`cat ${PIDFILE}`
7 kill -3 $PID
8 if kill -9 $PID ; then
9 echo " CC process stopped";
10 else
11 echo " CC process could not be stopped";
12 fi
13 rm -f ${PIDFILE}
14else
15 echo " PID file (${PIDFILE}) does not exist.";
david_williams53f9de12008-01-02 19:31:06 +000016 echo " Either CC not running, or PID file deleted";
david_williamsd4b1fd32008-01-02 04:16:52 +000017fi
david_williams53f9de12008-01-02 19:31:06 +000018echo;