From f021dad204afab2977417265f121d660d3d71252 Mon Sep 17 00:00:00 2001
From: Bjoern Schiessle <schiessle@owncloud.com>
Date: Tue, 29 Oct 2013 15:50:33 +0100
Subject: remove user from cache if he was deleted successfully

---
 lib/private/user/manager.php | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'lib/private/user')

diff --git a/lib/private/user/manager.php b/lib/private/user/manager.php
index 13286bc28a4..703c8cd7413 100644
--- a/lib/private/user/manager.php
+++ b/lib/private/user/manager.php
@@ -118,6 +118,20 @@ class Manager extends PublicEmitter {
 		return ($user !== null);
 	}
 
+	/**
+	 * remove deleted user from cache
+	 *
+	 * @param string $uid
+	 * @return bool
+	 */
+	public function delete($uid) {
+		if (isset($this->cachedUsers[$uid])) {
+			unset($this->cachedUsers[$uid]);
+			return true;
+		}
+		return false;
+	}
+
 	/**
 	 * Check if the password is valid for the user
 	 *
-- 
cgit v1.2.3