diff options
| author | Jaewan Kim <jaewan@google.com> | 2020-05-20 05:40:18 +0900 |
|---|---|---|
| committer | Jaewan Kim <jaewan@google.com> | 2020-05-20 01:53:33 +0000 |
| commit | f281109786cfb7b5d1cbfd8a9e21088ee5c87348 (patch) | |
| tree | b80ce4d1332f6f7443e6688a116daed58c349776 /rs/java/android/renderscript/ProgramStore.java | |
| parent | e7f3897b6a76b091a7d9729c315fcba6176a4ebc (diff) | |
Keep media sessions for stopping user until the stopping is completed
If a user is quickly *switched back*, the user can be started again
without cleaning up its processes, while the onStopUser() is called in
the middle. It's because onStopUser() is for 'stopping is started' but
it may be canceled if the user is started again quickly.
Bug: 154965421
Test: Manual test on AAE emulator with Android-Q, and Pixel 3a XL with Android-R.
Change-Id: I6e51f865dd9e97edd8a465eeba02966b242525b2
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions