also clear cached users when removing a single backend

diff --git a/lib/user/manager.php b/lib/user/manager.php
index 07ebed83971d31a84e4cbba07d796096d0a62da9..d17cdf1a200790dcc815edfc1f231d1dcfd9e1d7 100644 (file)
--- a/lib/user/manager.php
+++ b/lib/user/manager.php
@@ -57,6 +57,7 @@ class Manager extends PublicEmitter {
         * @param \OC_User_Backend $backend
         */
        public function removeBackend($backend) {
+               $this->cachedUsers = array();
                if (($i = array_search($backend, $this->backends)) !== false) {
                        unset($this->backends[$i]);
                }