Searched refs:otherpid (Results 1 – 3 of 3) sorted by relevance
25 otherpid=32 otherpid="$(cat ${lockfile}child 2> /dev/null)"33 if [ -n "$otherpid" -a -d /proc/$otherpid ]46 otherpid="$(cat ${lockfile}parent 2> /dev/null)"47 if [ -n "$otherpid" -a -d /proc/$otherpid ]58 if [ ! -d /proc/$otherpid ]82 echo "$otherpid $ret" >| $lockfile
6 otherpid=13 otherpid="$(cat ${lockfile}child 2> /dev/null)"14 if [ -n "$otherpid" -a -d /proc/$otherpid ]27 otherpid="$(cat ${lockfile}parent 2> /dev/null)"28 if [ -n "$otherpid" -a -d /proc/$otherpid ]39 if [ ! -d /proc/$otherpid ]62 echo "$otherpid $ret" >| $lockfile
41 otherpid=48 otherpid="$(cat ${lockfile}child 2> /dev/null)"49 if [ -n "$otherpid" -a -d /proc/$otherpid ]63 otherpid="$(cat ${lockfile}parent 2> /dev/null)"64 if [ -n "$otherpid" -a -d /proc/$otherpid ]88 echo $otherpid > $lockfile