2011-05-28 22:50:08 +02:00
|
|
|
package net.minecraft.server;
|
|
|
|
|
2011-06-12 00:02:58 +02:00
|
|
|
import org.bukkit.generator.ChunkGenerator; // CraftBukkit
|
2011-06-06 15:52:02 +02:00
|
|
|
|
2011-05-28 22:50:08 +02:00
|
|
|
public class SecondaryWorldServer extends WorldServer {
|
|
|
|
// CraftBukkit start
|
2011-06-06 15:52:02 +02:00
|
|
|
public SecondaryWorldServer(MinecraftServer minecraftserver, IDataManager idatamanager, String s, int i, long j, WorldServer worldserver, org.bukkit.World.Environment env, ChunkGenerator gen) {
|
|
|
|
super(minecraftserver, idatamanager, s, i, j, env, gen);
|
2011-05-28 22:50:08 +02:00
|
|
|
// CraftBukkit end
|
|
|
|
this.z = worldserver.z;
|
|
|
|
}
|
|
|
|
}
|