diff options
author | sfan5 <sfan5@live.de> | 2017-03-19 18:17:59 +0100 |
---|---|---|
committer | sfan5 <sfan5@live.de> | 2017-03-19 18:21:18 +0100 |
commit | 525d2a0d511bc9e9f3691af6ed2f5284dd205e33 (patch) | |
tree | dc1ff2e2f7fab035008de3faaebd145c96f1a344 /src/server.cpp | |
parent | 3c4ac70348db5375118d1e714a6d4681c3cfcd05 (diff) | |
download | minetest-525d2a0d511bc9e9f3691af6ed2f5284dd205e33.tar.gz minetest-525d2a0d511bc9e9f3691af6ed2f5284dd205e33.tar.bz2 minetest-525d2a0d511bc9e9f3691af6ed2f5284dd205e33.zip |
Fix /shutdown or ^C no longer causing server exit
Broken since b8484ef24e8e1ec90a2967372808ab2bea538c7c
Diffstat (limited to 'src/server.cpp')
-rw-r--r-- | src/server.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/server.cpp b/src/server.cpp index 8e9313464..0daa61054 100644 --- a/src/server.cpp +++ b/src/server.cpp @@ -3569,6 +3569,9 @@ void dedicated_server_loop(Server &server, bool &kill) } server.step(steplen); + if (server.getShutdownRequested() || kill) + break; + /* Profiler */ |