Searched refs:GDBSERVER_PID (Results 1 – 2 of 2) sorted by relevance
766 GDBSERVER_PID=$(get_pid_of lib/gdbserver)767 if [ "$GDBSERVER_PID" != "0" ]; then773 run adb_cmd shell kill -9 $GDBSERVER_PID
747 retcode,GDBSERVER_PID = get_pid_of('lib/gdbserver')748 if not retcode and not GDBSERVER_PID == 0:752 adb_cmd(False, ['shell', 'kill -9 %s' % (GDBSERVER_PID)])