adds KeyPress, DevInfo and Stats widgets

1 files changed, 4 insertions, 7 deletions

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 -------------------------------------------------- */