Ensure game is shutdown if server throws exception (#9742)

This commit is contained in:
Paul Ouellette 2020-04-25 03:42:18 -04:00 committed by GitHub
parent 6cc5c7cbb4
commit 49ed0ca00a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -4284,7 +4284,6 @@ void the_game(bool *kill,
reconnect_requested, &chat_backend, gamespec, reconnect_requested, &chat_backend, gamespec,
simple_singleplayer_mode)) { simple_singleplayer_mode)) {
game.run(); game.run();
game.shutdown();
} }
} catch (SerializationError &e) { } catch (SerializationError &e) {
@ -4300,4 +4299,5 @@ void the_game(bool *kill,
strgettext("\nCheck debug.txt for details."); strgettext("\nCheck debug.txt for details.");
errorstream << error_message << std::endl; errorstream << error_message << std::endl;
} }
game.shutdown();
} }