Lines Matching refs:pid
104 # The pid of the process is kept in file /var/run/scnws/$dg.pid.
111 if [ -f /var/run/scnws/$dg.pid ]
113 for i in `cat /var/run/scnws/$dg.pid`
115 pid=$i
116 kill -9 $pid
118 rm -f /var/run/scnws/$dg.pid
136 # become Online, cleanup pid file. If it is Pending, the resource group
154 rm -f /var/run/scnws/$dg.pid
181 rm -f /var/run/scnws/$dg.pid
188 rm -f /var/run/scnws/$dg.pid
316 pid=$!
318 rm -f /var/run/scnws/$dg.pid
319 echo $pid > /var/run/scnws/$dg.pid