diff options
| -rw-r--r-- | src/game.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/game.cpp b/src/game.cpp index 3f025f6de..25424fa26 100644 --- a/src/game.cpp +++ b/src/game.cpp @@ -1816,7 +1816,9 @@ void Game::run() && client->checkPrivilege("fast"); #endif - while (device->run() && !(*kill || g_gamecallback->shutdown_requested)) { + while (device->run() + && !(*kill || g_gamecallback->shutdown_requested + || server->getShutdownRequested())) { /* Must be called immediately after a device->run() call because it * uses device->getTimer()->getTime() |