Fix documentation of dedicated_server_loop

diff --git a/src/server.h b/src/server.h
index 5f3905005560a26161ca66bee4420a883fa5a7d8..28909611b9c83f9ef22726569425a836bc497c73 100644 (file)
--- a/src/server.h
+++ b/src/server.h
@@ -665,9 +665,9 @@ private:
 /*
        Runs a simple dedicated server loop.
 
-       Shuts down when run is set to false.
+       Shuts down when kill is set to true.
 */
-void dedicated_server_loop(Server &server, bool &run);
+void dedicated_server_loop(Server &server, bool &kill);
 
 #endif