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