mirror of
https://github.com/PaperMC/Paper.git
synced 2025-01-08 19:34:09 +01:00
30e4583dbe
By: Initial Source <noreply+automated@papermc.io>
38 lines
1.8 KiB
Diff
38 lines
1.8 KiB
Diff
--- a/net/minecraft/server/players/GameProfileCache.java
|
|
+++ b/net/minecraft/server/players/GameProfileCache.java
|
|
@@ -85,7 +85,7 @@
|
|
}
|
|
|
|
public void onProfileLookupFailed(String s1, Exception exception) {
|
|
- atomicreference.set((Object) null);
|
|
+ atomicreference.set(null); // CraftBukkit - decompile error
|
|
}
|
|
};
|
|
|
|
@@ -142,7 +142,7 @@
|
|
usercache_usercacheentry.setLastAccess(this.getNextOperation());
|
|
optional = Optional.of(usercache_usercacheentry.getProfile());
|
|
} else {
|
|
- optional = GameProfileCache.lookupGameProfile(this.profileRepository, s1);
|
|
+ optional = GameProfileCache.lookupGameProfile(this.profileRepository, name); // CraftBukkit - use correct case for offline players
|
|
if (optional.isPresent()) {
|
|
this.add((GameProfile) optional.get());
|
|
flag = false;
|
|
@@ -208,7 +208,7 @@
|
|
|
|
label54:
|
|
{
|
|
- ArrayList arraylist;
|
|
+ List<GameProfileCache.GameProfileInfo> arraylist; // CraftBukkit - decompile error
|
|
|
|
try {
|
|
JsonArray jsonarray = (JsonArray) this.gson.fromJson(bufferedreader, JsonArray.class);
|
|
@@ -217,7 +217,7 @@
|
|
DateFormat dateformat = GameProfileCache.createDateFormat();
|
|
|
|
jsonarray.forEach((jsonelement) -> {
|
|
- Optional optional = GameProfileCache.readGameProfile(jsonelement, dateformat);
|
|
+ Optional<GameProfileCache.GameProfileInfo> optional = GameProfileCache.readGameProfile(jsonelement, dateformat); // CraftBukkit - decompile error
|
|
|
|
Objects.requireNonNull(list);
|
|
optional.ifPresent(list::add);
|