diff options
| author | Adam Lesinski <adamlesinski@google.com> | 2017-04-11 12:01:10 -0700 |
|---|---|---|
| committer | Adam Lesinski <adamlesinski@google.com> | 2017-04-12 13:49:13 -0700 |
| commit | d11c5510b13171878f8d6f6a3424c7b2418c3031 (patch) | |
| tree | 1372f15276b5536b66b7d2eeb3862b024bbfba1e /rs/java/android/renderscript/ProgramFragmentFixedFunction.java | |
| parent | 39608b85564d37d170fde5590ddf4c76c878d104 (diff) | |
OMS: Fix bug where overlay settings wouldn't persist
The dead user check was using a List.removeAll() call to find
the subset of users that have been removed and need deleting
from the overlay settings. The target class, UserInfo, does not
implement equals(), therefore no UserInfos would be removed from
the set and all user IDs would be candidates for deleting.
This change avoids the UserInfo class entirely and manipulates userIds.
Bug: 36099320
Test: Pick a theme and reboot.
Test: Theme should still be applied on next boot.
Change-Id: I1ee57839515460bf578664dfe1bd67df7d10d041
Diffstat (limited to 'rs/java/android/renderscript/ProgramFragmentFixedFunction.java')
0 files changed, 0 insertions, 0 deletions