2011-05-28 22:50:08 +02:00
|
|
|
package net.minecraft.server;
|
|
|
|
|
|
|
|
public class SecondaryWorldServer extends WorldServer {
|
2012-07-29 09:33:13 +02:00
|
|
|
// CraftBukkit start - Changed signature
|
2013-03-13 23:33:27 +01:00
|
|
|
public SecondaryWorldServer(MinecraftServer minecraftserver, IDataManager idatamanager, String s, int i, WorldSettings worldsettings, WorldServer worldserver, MethodProfiler methodprofiler, IConsoleLogManager iconsolelogmanager, org.bukkit.World.Environment env, org.bukkit.generator.ChunkGenerator gen) {
|
|
|
|
super(minecraftserver, idatamanager, s, i, worldsettings, methodprofiler, iconsolelogmanager, env, gen);
|
2011-05-28 22:50:08 +02:00
|
|
|
// CraftBukkit end
|
2011-06-27 00:25:01 +02:00
|
|
|
this.worldMaps = worldserver.worldMaps;
|
2013-03-13 23:33:27 +01:00
|
|
|
this.scoreboard = worldserver.getScoreboard();
|
2012-08-02 18:02:14 +02:00
|
|
|
// this.worldData = new SecondaryWorldData(worldserver.getWorldData()); // CraftBukkit - use unique worlddata
|
2011-05-28 22:50:08 +02:00
|
|
|
}
|
2012-07-29 09:33:13 +02:00
|
|
|
|
2012-08-03 05:14:48 +02:00
|
|
|
// protected void a() {} // CraftBukkit - save world data!
|
2011-05-28 22:50:08 +02:00
|
|
|
}
|