diff options
| author | Kenny Guy <kennyguy@google.com> | 2014-06-13 13:51:42 +0100 |
|---|---|---|
| committer | Kenny Guy <kennyguy@google.com> | 2014-06-13 14:10:29 +0100 |
| commit | 17c9d69d7018c62d9d08ceecc6218df6704832dd (patch) | |
| tree | b22a760ebfb57848b0f33c0ceeb86fc59532adbc /docs/html/sdk/api_diff/16/changes | |
| parent | 6dfa6e2a9be08a3a0f152a7b772efc8ce2469bce (diff) | |
Don't remove a user already being removed.
Check if UserManager is already removing
a user before starting to remove it.
Bug: 15583858
Change-Id: If9763e9b47355d9ae35cc621367c74725029aa90
Diffstat (limited to 'docs/html/sdk/api_diff/16/changes')
0 files changed, 0 insertions, 0 deletions