path: android-platform-tools_34.0.5-12/development/scripts/bash_util.bash
}
# If $1 is a number, just print it. Otherwise use adb shell pidof to try to resolve it into a pid.
function resolve_pid() {
    local name="$1"