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