mirror of
https://github.com/moparisthebest/minetest
synced 2025-03-09 14:19:48 -04:00

When accidentally misspelling a name, privileges are sometimes granted to non-existent players, leaving them with the extra privileges, but without the default privileges, if they ever join the server. This corrects that by disallowing /grant from working with invalid players. For completeness, it does the same for /revoke.