    001package net.minecraft.world;
    002
    003import net.minecraft.logging.ILogAgent;
    004import net.minecraft.profiler.Profiler;
    005import net.minecraft.server.MinecraftServer;
    006import net.minecraft.world.storage.DerivedWorldInfo;
    007import net.minecraft.world.storage.ISaveHandler;
    008
    009public class WorldServerMulti extends WorldServer
    010{
    011    public WorldServerMulti(MinecraftServer par1MinecraftServer, ISaveHandler par2ISaveHandler, String par3Str, int par4, WorldSettings par5WorldSettings, WorldServer par6WorldServer, Profiler par7Profiler, ILogAgent par8ILogAgent)
    012    {
    013        super(par1MinecraftServer, par2ISaveHandler, par3Str, par4, par5WorldSettings, par7Profiler, par8ILogAgent);
    014        this.mapStorage = par6WorldServer.mapStorage;
    015        this.field_96442_D = par6WorldServer.func_96441_U();
    016        this.worldInfo = new DerivedWorldInfo(par6WorldServer.getWorldInfo());
    017    }
    018
    019    /**
    020     * Saves the chunks to disk.
    021     */
    022    protected void saveLevel() throws MinecraftException {}
    023}