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