diff --git a/envsetup.sh b/envsetup.sh
index 3973479..e0b5748 100644
--- a/envsetup.sh
+++ b/envsetup.sh
@@ -785,7 +785,11 @@
        local PID
        local PROG="$3"
        if [ "$PROG" ] ; then
-           PID=`pid $3`
+           if [[ "$PROG" =~ ^[0-9]+$ ]] ; then
+               PID="$3"
+           else
+               PID=`pid $3`
+           fi
            adb forward "tcp$PORT" "tcp$PORT"
            adb shell gdbserver $PORT --attach $PID &
            sleep 2