From f683d5568ff6ab75809b463771a15c23863b8f39 Mon Sep 17 00:00:00 2001 From: EvilSeph Date: Fri, 2 Nov 2012 20:51:14 -0400 Subject: [PATCH] Migrate world data with world when switching from vanilla Minecraft to Bukkit. Fixes BUKKIT-2816 and BUKKIT-2760 --- src/main/java/net/minecraft/server/MinecraftServer.java | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/main/java/net/minecraft/server/MinecraftServer.java b/src/main/java/net/minecraft/server/MinecraftServer.java index dd2d741df3..f797565d6d 100644 --- a/src/main/java/net/minecraft/server/MinecraftServer.java +++ b/src/main/java/net/minecraft/server/MinecraftServer.java @@ -14,6 +14,9 @@ import java.util.logging.Logger; // CraftBukkit start import java.util.concurrent.ExecutionException; +import java.io.IOException; + +import com.google.common.io.Files; import jline.console.ConsoleReader; import joptsimple.OptionSet; @@ -213,6 +216,12 @@ public abstract class MinecraftServer implements Runnable, IMojangStatistics, IC } else if (newWorld.getParentFile().mkdirs()) { if (oldWorld.renameTo(newWorld)) { log.info("Success! To restore " + worldType + " in the future, simply move " + newWorld + " to " + oldWorld); + // Migrate world data too. + try { + Files.copy(new File(new File(s), "level.dat"), new File(new File(name), "level.dat")); + } catch (IOException exception) { + log.severe("Unable to migrate world data."); + } log.info("---- Migration of old " + worldType + " folder complete ----"); } else { log.severe("Could not move folder " + oldWorld + " to " + newWorld + "!");