Fix /shutdown or ^C no longer causing server exit

Broken since b8484ef
minetest · Mar 19, 2017 · 525d2a0d511bc9e9f3691af6ed2f5284dd205e33 · 525d2a0
1 parent 3c4ac70
commit 525d2a0d511bc9e9f3691af6ed2f5284dd205e33
Showing with 3 additions and 0 deletions.

+3 −0 src/server.cpp
diff --git 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
 		*/