diff options
author | Adam Bookatz <bookatz@google.com> | 2020-10-06 15:04:16 -0700 |
---|---|---|
committer | Adam Bookatz <bookatz@google.com> | 2020-10-06 15:04:16 -0700 |
commit | 82194b8fe0e51e733663c99695d588fff9c811d9 (patch) | |
tree | d265eeaa8356bf083b0fc3a097d0024f4bdfdf8d /rs/java/android/renderscript/ProgramStore.java | |
parent | 403ae7b43d1c397dd6bf96d4e43f71207eeadc0d (diff) |
Use hasBadge instead of isManagedProfile
To determine whether a user has a badge, the
correct call is now hasBadge, rather than isManagedProfile.
Currently, the only user that actually can have a badge
is a managed profile, so this change is a no-op. In the future,
if further profile support is expanded, then hasBadge will
be correct.
Bug: 170249807
Test: Treehugger (this cl is a no-op)
Change-Id: I9144c4dc519936dfc5a2aeae0eb0bd91bea89db2
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions