2015-03-22 17:38:04 +00:00
|
|
|
--- ../src-base/minecraft/net/minecraft/client/Minecraft.java
|
|
|
|
+++ ../src-work/minecraft/net/minecraft/client/Minecraft.java
|
|
|
|
@@ -148,6 +148,7 @@
|
|
|
|
import net.minecraft.util.Timer;
|
|
|
|
import net.minecraft.util.Util;
|
|
|
|
import net.minecraft.world.EnumDifficulty;
|
|
|
|
+import net.minecraft.world.MinecraftException;
|
|
|
|
import net.minecraft.world.WorldProviderEnd;
|
|
|
|
import net.minecraft.world.WorldProviderHell;
|
|
|
|
import net.minecraft.world.WorldSettings;
|
2015-05-08 09:29:14 +00:00
|
|
|
@@ -2656,7 +2657,14 @@
|
2015-03-22 17:38:04 +00:00
|
|
|
|
|
|
|
if (integratedserver != null)
|
|
|
|
{
|
|
|
|
- integratedserver.stopServer();
|
|
|
|
+ try
|
|
|
|
+ {
|
|
|
|
+ integratedserver.stopServer();
|
|
|
|
+ }
|
|
|
|
+ catch (MinecraftException e)
|
|
|
|
+ {
|
|
|
|
+ e.printStackTrace();
|
|
|
|
+ }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|