From 0ce2b2708c7d587e51fdf0bdb5b852863d2b0424 Mon Sep 17 00:00:00 2001
From: Robin Appelman <icewind@owncloud.com>
Date: Mon, 3 Jun 2013 14:19:17 +0200
Subject: [PATCH] also clear cached users when removing a single backend

---
 lib/user/manager.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/user/manager.php b/lib/user/manager.php
index 07ebed8397..d17cdf1a20 100644
--- 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]);
 		}