diff options
author | Paul Ouellette <oue.paul18@gmail.com> | 2020-04-25 03:42:18 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-25 09:42:18 +0200 |
commit | 49ed0ca00a9a79b5db0bd6cc4589d56d7f1b3d45 (patch) | |
tree | 474ee95ebe52c0d6f68e52e73210f921ff3b010e /src/tool.cpp | |
parent | 6cc5c7cbb489a429009e769a958f07da33a9d2ca (diff) | |
download | minetest-49ed0ca00a9a79b5db0bd6cc4589d56d7f1b3d45.tar.gz minetest-49ed0ca00a9a79b5db0bd6cc4589d56d7f1b3d45.tar.bz2 minetest-49ed0ca00a9a79b5db0bd6cc4589d56d7f1b3d45.zip |
Ensure game is shutdown if server throws exception (#9742)
Diffstat (limited to 'src/tool.cpp')
0 files changed, 0 insertions, 0 deletions