From 02fcd22d8cde355aa898a8c6bb4773d9434b8e9a Mon Sep 17 00:00:00 2001 From: Stijn Buys Date: Fri, 10 Oct 2008 16:41:38 +0000 Subject: adds KeyPress, DevInfo and Stats widgets --- src/core/gameserver.h | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'src/core/gameserver.h') diff --git a/src/core/gameserver.h b/src/core/gameserver.h index 0dfdd9d..550dd99 100644 --- a/src/core/gameserver.h +++ b/src/core/gameserver.h @@ -28,19 +28,16 @@ public: /*----- inspectors ------------------------------------------------ */ /// returns true if the game server can run a time frime - inline bool running() { return server_running; } + inline bool running() const { return server_running; } /// returns true if the game server can not run a time frime - inline bool error() { return !server_running; } + inline bool error() const { return !server_running; } /// returns true if the game is running an interactive module - bool interactive(); - - /// show the current time - void showtime(); + virtual bool interactive() const; /// current server game time - inline float time() const { return server_time; } + virtual inline float time() const { return server_time; } /*----- mutators -------------------------------------------------- */ -- cgit v1.2.3