diff options
| author | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-01-21 22:05:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-21 22:05:54 +0100 |
| commit | 39123fcce5e983e83234971571b3cfaa458970b5 (patch) | |
| tree | 22860af032be9f72f3a43c784f14cff3c9759fc6 /src/script/scripting_mainmenu.h | |
| parent | 6d5a40713347424084af8ba04e76278961506881 (diff) | |
| download | minetest-39123fcce5e983e83234971571b3cfaa458970b5.tar.gz minetest-39123fcce5e983e83234971571b3cfaa458970b5.tar.bz2 minetest-39123fcce5e983e83234971571b3cfaa458970b5.zip | |
Remove os.exit from the Lua secure sandbox (#5090)
os.exit will exit not using proper resource liberation paths.
Mods should call the proper exit mod using our API
Diffstat (limited to 'src/script/scripting_mainmenu.h')
0 files changed, 0 insertions, 0 deletions