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 }