Searched refs:chpid (Results 1 – 11 of 11) sorted by relevance
13 chpid=`cat $pidfile`15 if [ "$pid" = "$chpid" ]; then20 kill "$chpid"25 chpid=$!26 echo $chpid > $pidfile38 kill "$chpid"
13 chpid=$!15 if [ "$pid" = "$chpid" ]; then20 kill $chpid28 chpid=$!30 if [ "$pid" = "$chpid" ]; then35 kill $chpid
13 chpid=$!15 if [ "$pid" = "$chpid" ]; then20 kill $chpid29 chpid=$!31 if [ "$pid" = "$chpid" ]; then36 kill $chpid
30 chpid=$!35 if [ "$pid" = "$chpid" ]; then41 kill $chpid46 chpid=$!51 if [ "$pid" = "$chpid" ]; then57 kill $chpid
13 chpid=$!14 echo $chpid > $pidfile16 if [ "$pid" = "$chpid" ]; then21 kill "$chpid"
22 chpid=$!24 if [ "$pid" = "$chpid" ]; then30 if [ "$pid" = "$chpid" ]; then35 kill $chpid
13 chpid=$!15 if [ "$pid" = "$chpid" ]; then20 kill $chpid
15 chpid=$!17 if [ "$pid" = "$chpid" ]; then22 kill $chpid
27 chpid=$!28 echo $chpid > $pidfile40 kill "$chpid"