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    }