2015-05-25 12:37:24 +02:00
|
|
|
--- a/net/minecraft/server/SecondaryWorldServer.java
|
|
|
|
+++ b/net/minecraft/server/SecondaryWorldServer.java
|
2019-04-23 04:00:00 +02:00
|
|
|
@@ -4,11 +4,13 @@
|
2014-11-25 22:32:16 +01:00
|
|
|
|
2018-08-26 04:00:00 +02:00
|
|
|
public class SecondaryWorldServer extends WorldServer {
|
2014-11-25 22:32:16 +01:00
|
|
|
|
2019-04-23 04:00:00 +02:00
|
|
|
- public SecondaryWorldServer(WorldServer worldserver, MinecraftServer minecraftserver, Executor executor, WorldNBTStorage worldnbtstorage, DimensionManager dimensionmanager, GameProfilerFiller gameprofilerfiller, WorldLoadListener worldloadlistener) {
|
|
|
|
- super(minecraftserver, executor, worldnbtstorage, new SecondaryWorldData(worldserver.getWorldData()), dimensionmanager, gameprofilerfiller, worldloadlistener);
|
|
|
|
- worldserver.getWorldBorder().a((IWorldBorderListener) (new IWorldBorderListener.a(this.getWorldBorder())));
|
2014-11-25 22:32:16 +01:00
|
|
|
+ // CraftBukkit start - Add WorldData, Environment and ChunkGenerator arguments
|
2019-04-23 04:00:00 +02:00
|
|
|
+ public SecondaryWorldServer(WorldServer worldserver, MinecraftServer minecraftserver, Executor executor, WorldNBTStorage worldnbtstorage, DimensionManager dimensionmanager, GameProfilerFiller gameprofilerfiller, WorldLoadListener worldloadlistener, WorldData worldData, org.bukkit.World.Environment env, org.bukkit.generator.ChunkGenerator gen) {
|
|
|
|
+ super(minecraftserver, executor, worldnbtstorage, worldData, dimensionmanager, gameprofilerfiller, worldloadlistener, env, gen);
|
|
|
|
+ // worldserver.getWorldBorder().a((IWorldBorderListener) (new IWorldBorderListener.a(this.getWorldBorder())));
|
2014-11-25 22:32:16 +01:00
|
|
|
+ // CraftBukkit end
|
|
|
|
}
|
2014-12-10 17:45:44 +01:00
|
|
|
|
2019-04-23 04:00:00 +02:00
|
|
|
- @Override
|
2014-12-10 17:45:44 +01:00
|
|
|
- protected void a() {}
|
2019-04-23 04:00:00 +02:00
|
|
|
+ // @Override // CraftBukkit
|
2014-12-10 17:45:44 +01:00
|
|
|
+ // protected void a() {} // CraftBukkit
|
2019-04-23 04:00:00 +02:00
|
|
|
}
|