From 288302a1f0db8c2c48d8b3a24db9889aaaabcd51 Mon Sep 17 00:00:00 2001 From: est31 Date: Fri, 24 Jul 2015 23:11:19 +0200 Subject: [PATCH] Fix documentation of dedicated_server_loop --- src/server.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/server.h b/src/server.h index 5f3905005..28909611b 100644 --- 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 -- 2.25.1