From 525d2a0d511bc9e9f3691af6ed2f5284dd205e33 Mon Sep 17 00:00:00 2001
From: sfan5 <sfan5@live.de>
Date: Sun, 19 Mar 2017 18:17:59 +0100
Subject: [PATCH] Fix /shutdown or ^C no longer causing server exit

Broken since b8484ef24e8e1ec90a2967372808ab2bea538c7c
---
 src/server.cpp | 3 +++
 1 file changed, 3 insertions(+)

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
 		*/