19 Zeilen
571 B
Diff
19 Zeilen
571 B
Diff
--- ../work/decompile-8eb82bde//net/minecraft/server/IDataManager.java 2014-11-28 17:43:43.197707433 +0000
|
|
+++ src/main/java/net/minecraft/server/IDataManager.java 2014-11-28 17:38:17.000000000 +0000
|
|
@@ -6,7 +6,7 @@
|
|
|
|
WorldData getWorldData();
|
|
|
|
- void checkSession();
|
|
+ void checkSession() throws ExceptionWorldConflict; // CraftBukkit - throws ExceptionWorldConflict
|
|
|
|
IChunkLoader createChunkLoader(WorldProvider worldprovider);
|
|
|
|
@@ -23,4 +23,6 @@
|
|
File getDataFile(String s);
|
|
|
|
String g();
|
|
+
|
|
+ java.util.UUID getUUID(); // CraftBukkit
|
|
}
|