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 |