diff options
| author | Jing Ji <jji@google.com> | 2019-12-26 13:31:06 -0800 |
|---|---|---|
| committer | Jing Ji <jji@google.com> | 2019-12-26 13:31:06 -0800 |
| commit | d515b7d080ce240afa8df2b49f4650e9e9e4baa6 (patch) | |
| tree | 17eea26be7fe4bc3227d659769af95932c43828f /rs/java/android/renderscript/ProgramStore.java | |
| parent | 56eb64faef3f3157c41811c698d894eebc45adf2 (diff) | |
Treat it dead if the process record's pid is invalid
Bug: 146430891
Test: Manual
Change-Id: I98bf86d2a0ee2be2ecdd613e547dbdb0fd621e95
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions