2015-05-25 20:37:24 +10:00
|
|
|
--- a/net/minecraft/server/CrashReport.java
|
|
|
|
+++ b/net/minecraft/server/CrashReport.java
|
2019-04-23 12:00:00 +10:00
|
|
|
@@ -64,6 +64,7 @@
|
2018-07-15 10:00:00 +10:00
|
|
|
|
2018-12-26 08:00:00 +11:00
|
|
|
return String.format("%d total; %s", list.size(), list.stream().collect(Collectors.joining(" ")));
|
2015-02-26 22:41:06 +00:00
|
|
|
});
|
2016-05-15 22:12:06 +10:00
|
|
|
+ this.d.a("CraftBukkit Information", (CrashReportCallable) new org.bukkit.craftbukkit.CraftCrashReport()); // CraftBukkit
|
2014-11-26 08:32:16 +11:00
|
|
|
}
|
|
|
|
|
|
|
|
public String a() {
|