Searched refs:VGDBPID (Results 1 – 1 of 1) sorted by relevance
16 VGDBPID=`./vgdb -D $PREFIX 2>&1 | awk '/vgdb pid/ {print $3}'`17 if [ "$VGDBPID" = "" ]27 kill -s USR1 $VGDBPID) &