From f665884955e0a664e93125553eb764e2c3d1a763 Mon Sep 17 00:00:00 2001
From: EvilSeph <evilseph@gmail.com>
Date: Tue, 9 Jul 2013 21:29:27 -0400
Subject: [PATCH] Correctly set level name for 'world' option. Fixes
 BUKKIT-4474

---
 src/main/java/net/minecraft/server/MinecraftServer.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/net/minecraft/server/MinecraftServer.java b/src/main/java/net/minecraft/server/MinecraftServer.java
index 67e7067230..26cfa0c5aa 100644
--- a/src/main/java/net/minecraft/server/MinecraftServer.java
+++ b/src/main/java/net/minecraft/server/MinecraftServer.java
@@ -674,7 +674,7 @@ public abstract class MinecraftServer implements ICommandListener, Runnable, IMo
             }
 
             if (options.has("world")) {
-                dedicatedserver.j((String) options.valueOf("world"));
+                dedicatedserver.k((String) options.valueOf("world"));
             }
             /*
             if (s != null) {