| commit | f080bf1f7659c70f9208003fbbefc165d2fe46b8 | [log] [tgz] |
|---|---|---|
| author | Josh Gao <jmgao@google.com> | Mon Jul 23 17:01:42 2018 -0700 |
| committer | Josh Gao <jmgao@google.com> | Mon Jul 23 17:01:42 2018 -0700 |
| tree | f74de5f5c399d8753636dc59600a990158e86573 | |
| parent | cd2f1cfed262371368e7b686c8d3a7cf41cba991 [diff] |
pid: switch to pgrep. Fix a bug where processes that didn't have a leading space from right justification of the pid column would return the process name instead of the pid, by switching to pgrep. Bug: http://b/111748205 Test: manual Change-Id: I3493474540ccfa89f5bb3e66153d9e96ec8bf1d9