diff options
author | Jing Ji <jji@google.com> | 2019-12-26 23:23:34 +0000 |
---|---|---|
committer | Android (Google) Code Review <android-gerrit@google.com> | 2019-12-26 23:23:34 +0000 |
commit | f04a35e734b5a55b4d52a479749da951cd9f99aa (patch) | |
tree | 2e10bb32d21281b1e9df092007ce8ba89bd57afd /rs/java/android/renderscript/ProgramStore.java | |
parent | 9d3954ff77644ac15002b6f56685642c581fb5c0 (diff) | |
parent | d515b7d080ce240afa8df2b49f4650e9e9e4baa6 (diff) |
Merge "Treat it dead if the process record's pid is invalid"
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions