Fix /shutdown or ^C no longer causing server exit

Broken since b8484ef24e8e1ec90a2967372808ab2bea538c7c

diff --git a/src/server.cpp b/src/server.cpp
index 8e93134643f5a830161a220335ab2a8e0b45ab19..0daa610541dbed1253d253b00f43a5c228f7ffa6 100644 (file)
--- 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
                */