Catch command prefixes in the filter.

Fixes WORLDGUARD-3196.
This commit is contained in:
sk89q 2015-01-04 17:56:00 -08:00
parent c95b619974
commit b11e2b3d11

View File

@ -64,7 +64,7 @@ public CommandFilter(@Nullable Collection<String> permitted, @Nullable Collectio
@SuppressWarnings("StatementWithEmptyBody") @SuppressWarnings("StatementWithEmptyBody")
@Override @Override
public boolean apply(String command) { public boolean apply(String command) {
command = command.toLowerCase(); command = command.toLowerCase().replaceAll("^/([^:]*:)?", "/");
/* /*
* denied used allow? * denied used allow?