blob: 62ba130703d0fca7530411cf2b7e167328a11d37 [file] [log] [blame]
david_williams51256372010-04-20 21:04:25 +00001#!/usr/bin/env bash
david_williamsd4b1fd32008-01-02 04:16:52 +00002PIDFILE=cc.pid
3echo;
4if [ -f ${PIDFILE} ] ; then
david_williams48437fe2008-01-22 05:49:53 +00005 echo " Killing CC process from PID file"
david_williamsd4b1fd32008-01-02 04:16:52 +00006 PID=`cat ${PIDFILE}`
7 kill -3 $PID
david_williams48437fe2008-01-22 05:49:53 +00008 # if permission denied, for example, then be sure not to remove PID file
9 if [ $? ]
10 then
11 if kill -9 $PID ; then
12 echo " CC process stopped"
13 rm -f ${PIDFILE}
14 else
15 echo " CC process could not be stopped"
16 fi
david_williamsd4b1fd32008-01-02 04:16:52 +000017 else
david_williams48437fe2008-01-22 05:49:53 +000018 echo " Could not kill the process."
david_williamsd4b1fd32008-01-02 04:16:52 +000019 fi
david_williamsd4b1fd32008-01-02 04:16:52 +000020else
david_williams48437fe2008-01-22 05:49:53 +000021 echo " PID file (${PIDFILE}) does not exist."
22 echo " Either CC not running, or PID file deleted"
david_williamsd4b1fd32008-01-02 04:16:52 +000023fi
david_williams7f0aac02010-08-08 02:09:30 +000024echo;
25
david_williams0d3f08d2010-08-19 04:49:50 +000026./xvfb-stop.sh