Don't grant priveleges to non-existent players.
author0gb.us <0gb.us@0gb.us>
Sat, 30 Mar 2013 08:51:41 +0000 (01:51 -0700)
committerkwolekr <kwolekr@minetest.net>
Sun, 31 Mar 2013 01:50:07 +0000 (21:50 -0400)
commit23590a8383f068509265d5724458c7966d71a0e3
treeb2c477d524e368da56058eea953ba8d5fa8b4a25
parent923a97b1089c117cb787a2f95a38097e8a31e4a8
Don't grant priveleges to non-existent players.

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.
builtin/chatcommands.lua