Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity - fixes #25684 (#25686)

This commit is contained in:
Thomas Müller 2016-08-22 20:25:20 +02:00 committed by Lukas Reschke
parent 3647fbe7cd
commit 82e8762c84
No known key found for this signature in database
GPG Key ID: B9F6980CF6E759B1
1 changed files with 10 additions and 0 deletions

View File

@ -157,6 +157,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;