| david_williams | d4b1fd3 | 2008-01-02 04:16:52 +0000 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | PIDFILE=cc.pid | ||||
| 3 | echo; | ||||
| 4 | if [ -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} | ||||
| 14 | else | ||||
| 15 | echo " PID file (${PIDFILE}) does not exist."; | ||||
| 16 | echo " Either CC not running, or PID file deleted"; | ||||
| 17 | fi | ||||
| 18 | echo; | ||||