248249250251252253254255256257258
if (!mcServer.isSinglePlayer()) { world.getWorldInfo().setGameType(mcServer.getGameType()); } mcServer.func_147139_a(mcServer.func_147135_j()); } public static WorldServer getWorld(int id) { return worlds.get(id);