2023-06-08 17:32:29 +10:00
|
|
|
From d7c8a2e9e268dfe060c36c32f1a6ad2ff226da2b Mon Sep 17 00:00:00 2001
|
2014-04-14 09:47:44 +10:00
|
|
|
From: md_5 <git@md-5.net>
|
|
|
|
Date: Mon, 14 Apr 2014 09:46:20 +1000
|
|
|
|
Subject: [PATCH] Use Provided Case for Non Existent Offline Players
|
|
|
|
|
|
|
|
|
2021-03-16 09:00:00 +11:00
|
|
|
diff --git a/src/main/java/net/minecraft/server/players/UserCache.java b/src/main/java/net/minecraft/server/players/UserCache.java
|
2023-04-10 08:30:55 +10:00
|
|
|
index bed67b5d8..dd6c8a284 100644
|
2021-03-16 09:00:00 +11:00
|
|
|
--- a/src/main/java/net/minecraft/server/players/UserCache.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/players/UserCache.java
|
2021-06-11 15:00:00 +10:00
|
|
|
@@ -152,7 +152,7 @@ public class UserCache {
|
2021-11-22 09:00:00 +11:00
|
|
|
usercache_usercacheentry.setLastAccess(this.getNextOperation());
|
|
|
|
optional = Optional.of(usercache_usercacheentry.getProfile());
|
2014-04-14 09:47:44 +10:00
|
|
|
} else {
|
2021-11-22 09:00:00 +11:00
|
|
|
- optional = lookupGameProfile(this.profileRepository, s1);
|
|
|
|
+ optional = lookupGameProfile(this.profileRepository, s); // Spigot - use correct case for offline players
|
2021-07-07 00:00:00 +10:00
|
|
|
if (optional.isPresent()) {
|
2021-11-22 09:00:00 +11:00
|
|
|
this.add((GameProfile) optional.get());
|
2020-08-12 07:00:00 +10:00
|
|
|
flag = false;
|
2014-04-14 09:47:44 +10:00
|
|
|
--
|
2023-06-08 01:30:00 +10:00
|
|
|
2.40.1
|
2014-04-14 09:47:44 +10:00
|
|
|
|