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 /builtin/common | |
| 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 'builtin/common')
0 files changed, 0 insertions, 0 deletions