Home
last modified time | relevance | path

Searched refs:GDBSERVER_PID (Results 1 – 2 of 2) sorted by relevance

/ndk/
Dndk-gdb766 GDBSERVER_PID=$(get_pid_of lib/gdbserver)
767 if [ "$GDBSERVER_PID" != "0" ]; then
773 run adb_cmd shell kill -9 $GDBSERVER_PID
Dndk-gdb.py747 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)])