Searched refs:GDBSERVER_PID (Results 1 – 1 of 1) sorted by relevance
657 GDBSERVER_PID=$(get_pid_of lib/gdbserver)658 if [ "$GDBSERVER_PID" != "0" ]; then664 run adb_cmd shell kill -9 $GDBSERVER_PID