| commit | f04a35e734b5a55b4d52a479749da951cd9f99aa | [log] [tgz] |
|---|---|---|
| author | Jing Ji <jji@google.com> | Thu Dec 26 23:23:34 2019 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Thu Dec 26 23:23:34 2019 +0000 |
| tree | 2e10bb32d21281b1e9df092007ce8ba89bd57afd | |
| parent | 9d3954ff77644ac15002b6f56685642c581fb5c0 [diff] | |
| parent | d515b7d080ce240afa8df2b49f4650e9e9e4baa6 [diff] |
Merge "Treat it dead if the process record's pid is invalid"