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