Fix potential problem with core.get_connected_players()
authorsfan5 <sfan5@live.de>
Tue, 25 Feb 2020 15:08:47 +0000 (16:08 +0100)
committersfan5 <sfan5@live.de>
Tue, 25 Feb 2020 15:08:47 +0000 (16:08 +0100)
commite2fc93022b46b86070651c5730664baaa363da72
tree15a93e831d7eea1a6de7cf40929cec9ca18a2cec
parent6be7150cd5c18869911bcba8e5833155521d2780
Fix potential problem with core.get_connected_players()
src/script/lua_api/l_env.cpp