From b875124824794a7762414db76ed9f953b8ba320f Mon Sep 17 00:00:00 2001 From: Stijn Buys Date: Fri, 26 Dec 2008 12:21:48 +0000 Subject: default player settings in player.ini, palette text colors, cleanups --- src/core/gameserver.cc | 2 +- src/core/gameserver.h | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) (limited to 'src/core') diff --git a/src/core/gameserver.cc b/src/core/gameserver.cc index f614fa9..44b8ccb 100644 --- a/src/core/gameserver.cc +++ b/src/core/gameserver.cc @@ -205,7 +205,7 @@ GameServer::~GameServer() save_config(); if (server_module) { - if (server_module->running() && !Cvar::sv_dedicated->value()) + if (!Cvar::sv_dedicated->value()) player_disconnect(localplayer()); delete server_module; diff --git a/src/core/gameserver.h b/src/core/gameserver.h index 8d9ca9b..59db0c5 100644 --- a/src/core/gameserver.h +++ b/src/core/gameserver.h @@ -39,6 +39,9 @@ public: /// current server game time virtual inline unsigned long timestamp() const { return server_timestamp; } + /// current module + inline const Module *module() const { return server_module; } + /*----- mutators -------------------------------------------------- */ /// is called when a player connects to the game server -- cgit v1.2.3