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

Readd configurable max chunk gens per tick

Browse source
This commit is contained in:
Aikar 2018-07-21 17:24:18 -04:00
commit 1db0b7ed58
19 changed files with 148 additions and 44 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Spigot-Server-Patches/Player.setPlayerProfile-API.patch
View file

@ -6,7 +6,7 @@ Subject: [PATCH] Player.setPlayerProfile API
This can be useful for changing name or skins after a player has logged in.
diff --git a/src/main/java/net/minecraft/server/EntityHuman.java b/src/main/java/net/minecraft/server/EntityHuman.java
index 4fb300468..65f4ea6cc 100644
index 98fdfcb60..de1b6ac86 100644
--- a/src/main/java/net/minecraft/server/EntityHuman.java
+++ b/src/main/java/net/minecraft/server/EntityHuman.java
@@ -0,0 +0,0 @@ public abstract class EntityHuman extends EntityLiving {