Merge branch 'master' into 1.17
This commit is contained in:
commit
71a8dcc31e
14 files changed
+239
-15
No files matched your search
@@ -43,7 +43,7 @@ public class LogCommand
|
||||
c.getSource(),
|
||||
c.getSource().getName(),
|
||||
getString(c, "log name")))).
|
||||
then(CommandManager.argument("option", StringArgumentType.greedyString()).
|
||||
then(CommandManager.argument("option", StringArgumentType.string()).
|
||||
suggests( (c, b) -> suggestMatching(
|
||||
(LoggerRegistry.getLogger(getString(c, "log name"))==null
|
||||
?new String[]{}
|
||||
|
||||
Reference in new issue
Block a user