23 lines
1.1 KiB
Java
23 lines
1.1 KiB
Java
package net.minecraft.server.level;
|
|
|
|
import net.minecraft.world.level.border.BorderChangeListener;
|
|
import net.minecraft.world.level.storage.LevelData;
|
|
import net.minecraft.world.level.storage.DerivedLevelData;
|
|
import net.minecraft.server.level.progress.ChunkProgressListener;
|
|
import net.minecraft.util.profiling.ProfilerFiller;
|
|
import net.minecraft.world.level.dimension.DimensionType;
|
|
import net.minecraft.world.level.storage.LevelStorage;
|
|
import java.util.concurrent.Executor;
|
|
import net.minecraft.server.MinecraftServer;
|
|
|
|
public class DerivedServerLevel extends ServerLevel {
|
|
public DerivedServerLevel(final ServerLevel xd, final MinecraftServer minecraftServer, final Executor executor, final LevelStorage crk, final DimensionType cbf, final ProfilerFiller aim, final ChunkProgressListener xm) {
|
|
super(minecraftServer, executor, crk, new DerivedLevelData(xd.getLevelData()), cbf, aim, xm);
|
|
xd.getWorldBorder().addListener(new BorderChangeListener.DelegateBorderChangeListener(this.getWorldBorder()));
|
|
}
|
|
|
|
@Override
|
|
protected void tickTime() {
|
|
}
|
|
}
|