Fix core.get_player_by_name() returning unusable ObjectRef
authorsfan5 <sfan5@live.de>
Tue, 3 Mar 2020 20:14:47 +0000 (21:14 +0100)
committersfan5 <sfan5@live.de>
Tue, 3 Mar 2020 20:21:41 +0000 (21:21 +0100)
commit6d8e2d2483715f05216be86a32f664bcbaac3efe
tree02d08db57ae57bcd1e0d24a2db6e436b340770b4
parent1761d7d0f8a778e25ca70216520472a61610cbe5
Fix core.get_player_by_name() returning unusable ObjectRef

Followup to the previous commit.
src/script/lua_api/l_env.cpp