commit 70fcf0c75fee68873a2f1abfe26c8afd669c51ba
author Amith Yamasani <yamasani@google.com> Fri Jul 11 08:40:19 2014 -0700
committer Amith Yamasani <yamasani@google.com> Fri Jul 11 08:41:52 2014 -0700
tree 85ef03332acc1012ae42ada4ae77c167e4d29020
parent 4d8c132609c9a87d8e05cba65bf6832b38afd1ff

Fix apparent delay in removing a managed profile

Bug: 15268575

When returning the list of profiles, don't include dying users.

Change-Id: Ifeaed5c7c2b93922cddea22057dd890a1b3750fc

services/core/java/com/android/server/pm/UserManagerService.java

diff --git a/services/core/java/com/android/server/pm/UserManagerService.java b/services/core/java/com/android/server/pm/UserManagerService.java
index 64288a5..3882769 100644
--- a/services/core/java/com/android/server/pm/UserManagerService.java
+++ b/services/core/java/com/android/server/pm/UserManagerService.java
@@ -299,6 +299,9 @@
             if (enabledOnly && !profile.isEnabled()) {
                 continue;
             }
+            if (mRemovingUserIds.get(profile.id)) {
+                continue;
+            }
             users.add(profile);
         }
         return users;