mirrors/papermc
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Fixup player profile getters and constructor to expected nullability (#9770)

Browse source
This commit is contained in:
Nassim Jahnke 2023-10-05 15:31:24 +10:00 • committed by GitHub
parent 02cfaa8ff8
commit 431e6418ab
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
38 changed files with 67 additions and 61 deletions
Download patch file Download diff file Expand all files Collapse all files

4
patches/server/0392-Implement-Mob-Goal-API.patch
View file

@ -792,10 +792,10 @@ index 4379b9948f1eecfe6fd7dea98e298ad5f761019a..3f081183521603824430709886a9cc31
LOOK,
JUMP,
diff --git a/src/main/java/org/bukkit/craftbukkit/CraftServer.java b/src/main/java/org/bukkit/craftbukkit/CraftServer.java
index 633cd70f8390c4aa9a9b52054f8b58106ae079e6..83ff2373ba5ec4b862170e0c1ff2d84deb7df5eb 100644
index 98fec62469f19680cb849cffb6c00b603c34fb65..70dfd93212fb0cb2c1e5e70e0d46e913be6a85e4 100644
--- a/src/main/java/org/bukkit/craftbukkit/CraftServer.java
+++ b/src/main/java/org/bukkit/craftbukkit/CraftServer.java
@@ -2776,5 +2776,11 @@ public final class CraftServer implements Server {
@@ -2781,5 +2781,11 @@ public final class CraftServer implements Server {
public boolean isStopping() {
return net.minecraft.server.MinecraftServer.getServer().hasStopped();
}