Fix /shutdown or ^C no longer causing server exit

Broken since b8484ef
minetest · Mar 19, 2017 · 525d2a0 · 525d2a0
1 parent 3c4ac70
commit 525d2a0
Showing 1 changed file with 3 additions and 0 deletions.
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
 		*/