    001    package net.minecraft.world;
    002
    003    import net.minecraft.profiler.Profiler;
    004    import net.minecraft.server.MinecraftServer;
    005    import net.minecraft.world.storage.DerivedWorldInfo;
    006    import net.minecraft.world.storage.ISaveHandler;
    007
    008    public 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    }