From e12e27fa65953e96eb3bb66981eb8b201c7a064d Mon Sep 17 00:00:00 2001
From: Joas Schilling <coding@schilljs.com>
Date: Fri, 21 Oct 2016 11:25:22 +0200
Subject: Fix issues where some user settings cannot be loaded when the user id
 differs in case sensitivity

Signed-off-by: Joas Schilling <coding@schilljs.com>
---
 lib/private/user/manager.php | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/lib/private/user/manager.php b/lib/private/user/manager.php
index eb86873a26f..e638823ad29 100644
--- a/lib/private/user/manager.php
+++ b/lib/private/user/manager.php
@@ -155,6 +155,16 @@ class Manager extends PublicEmitter implements IUserManager {
 			return $this->cachedUsers[$uid];
 		}
 
+		if (method_exists($backend, 'loginName2UserName')) {
+			$loginName = $backend->loginName2UserName($uid);
+			if ($loginName !== false) {
+				$uid = $loginName;
+			}
+			if (isset($this->cachedUsers[$uid])) {
+				return $this->cachedUsers[$uid];
+			}
+		}
+
 		$user = new User($uid, $backend, $this, $this->config);
 		if ($cacheUser) {
 			$this->cachedUsers[$uid] = $user;
-- 
cgit v1.2.3