aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsfan5 <sfan5@live.de>2017-03-19 18:17:59 +0100
committersfan5 <sfan5@live.de>2017-03-19 18:21:18 +0100
commit525d2a0d511bc9e9f3691af6ed2f5284dd205e33 (patch)
treedc1ff2e2f7fab035008de3faaebd145c96f1a344
parent3c4ac70348db5375118d1e714a6d4681c3cfcd05 (diff)
downloadminetest-525d2a0d511bc9e9f3691af6ed2f5284dd205e33.tar.gz
minetest-525d2a0d511bc9e9f3691af6ed2f5284dd205e33.tar.bz2
minetest-525d2a0d511bc9e9f3691af6ed2f5284dd205e33.zip
Fix /shutdown or ^C no longer causing server exit
Broken since b8484ef24e8e1ec90a2967372808ab2bea538c7c
-rw-r--r--src/server.cpp3
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
*/