diff options
| author | Tim <t4im@users.noreply.github.com> | 2016-07-07 23:58:52 +0200 |
|---|---|---|
| committer | paramat <mat.gregory@virginmedia.com> | 2016-07-26 04:15:06 +0100 |
| commit | 58eb5f39d4e57fd9c7409efade54b5792dfefab3 (patch) | |
| tree | 186d6164a7179d6815bfe0e92fc75897372655b9 /build/android/settings.gradle | |
| parent | f833159a68f2ff605224ed7a5ac956e5a0ca42d8 (diff) | |
| download | minetest-58eb5f39d4e57fd9c7409efade54b5792dfefab3.tar.gz minetest-58eb5f39d4e57fd9c7409efade54b5792dfefab3.tar.bz2 minetest-58eb5f39d4e57fd9c7409efade54b5792dfefab3.zip | |
Builtin: Fix check for a player object in core.check_player_privs
core.check_player_privs accepts as first argument a name or player object, but just tested for a string.
This caused crashes inside builtin, when being passed any unexpected types.
This provides a better (duck-typing like) test, better error reporting.
Diffstat (limited to 'build/android/settings.gradle')
0 files changed, 0 insertions, 0 deletions