2019-12-18 08:00:00 +11:00
|
|
|
From 0e65b32390cc777609c2bac919e0735fa7421df7 Mon Sep 17 00:00:00 2001
|
2018-07-15 10:00:00 +10:00
|
|
|
From: md_5 <git@md-5.net>
|
|
|
|
Date: Sun, 9 Feb 2014 14:39:01 +1100
|
|
|
|
Subject: [PATCH] Add Option to Silence CommandBlock Console
|
|
|
|
|
|
|
|
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/CommandListenerWrapper.java b/src/main/java/net/minecraft/server/CommandListenerWrapper.java
|
2019-12-11 09:00:00 +11:00
|
|
|
index de5ab4d0..0b23a054 100644
|
2018-07-15 10:00:00 +10:00
|
|
|
--- a/src/main/java/net/minecraft/server/CommandListenerWrapper.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/CommandListenerWrapper.java
|
2019-04-23 12:00:00 +10:00
|
|
|
@@ -205,7 +205,7 @@ public class CommandListenerWrapper implements ICompletionProvider {
|
2018-07-15 10:00:00 +10:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-21 20:00:00 +10:00
|
|
|
- if (this.base != this.i && this.i.getGameRules().getBoolean(GameRules.LOG_ADMIN_COMMANDS)) {
|
|
|
|
+ if (this.base != this.i && this.i.getGameRules().getBoolean(GameRules.LOG_ADMIN_COMMANDS) && !org.spigotmc.SpigotConfig.silentCommandBlocks) { // Spigot
|
2018-07-15 10:00:00 +10:00
|
|
|
this.i.sendMessage(ichatbasecomponent1);
|
|
|
|
}
|
|
|
|
|
|
|
|
diff --git a/src/main/java/org/spigotmc/SpigotConfig.java b/src/main/java/org/spigotmc/SpigotConfig.java
|
2019-12-11 09:00:00 +11:00
|
|
|
index fb489775..dc7ea3b3 100644
|
2018-07-15 10:00:00 +10:00
|
|
|
--- a/src/main/java/org/spigotmc/SpigotConfig.java
|
|
|
|
+++ b/src/main/java/org/spigotmc/SpigotConfig.java
|
2019-07-30 20:52:01 +10:00
|
|
|
@@ -294,4 +294,10 @@ public class SpigotConfig
|
2018-07-15 10:00:00 +10:00
|
|
|
"/skill"
|
|
|
|
} ) );
|
|
|
|
}
|
|
|
|
+
|
|
|
|
+ public static boolean silentCommandBlocks;
|
|
|
|
+ private static void silentCommandBlocks()
|
|
|
|
+ {
|
|
|
|
+ silentCommandBlocks = getBoolean( "commands.silent-commandblock-console", false );
|
|
|
|
+ }
|
|
|
|
}
|
|
|
|
--
|
2019-04-23 09:33:25 +10:00
|
|
|
2.20.1
|
2018-07-15 10:00:00 +10:00
|
|
|
|