| david_williams | 392e627 | 2008-12-03 03:15:52 +0000 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | PIDFILE=cc.pid | ||||
| 3 | echo; | ||||
| 4 | if [ -f ${PIDFILE} ] ; then | ||||
| 5 | PID=`cat ${PIDFILE}` | ||||
| 6 | nthreads=`ps -mp $PID | wc -l` | ||||
| 7 | echo " Number of threads in wtp's CC process: $nthreads" | ||||
| 8 | else | ||||
| 9 | echo " PID file (${PIDFILE}) does not exist." | ||||
| 10 | echo " Either CC not running, or PID file deleted" | ||||
| 11 | fi | ||||
| 12 | echo | ||||