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/gameinterface.h | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'src/core/gameinterface.h') diff --git a/src/core/gameinterface.h b/src/core/gameinterface.h index b6d7cb6..fea86fe 100644 --- a/src/core/gameinterface.h +++ b/src/core/gameinterface.h @@ -26,7 +26,7 @@ public: typedef std::list Players; /*----- inspectors ---------------------------------------------- */ - + /// return the local player inline Player *localplayer() { return &game_localplayer; } @@ -52,10 +52,13 @@ public: /*----- virtual inspectors --------------------------------------- */ /// returns true if the game server can run a time frime - virtual bool running() = 0; + virtual bool running() const = 0; /// returns true if the game is running an interactive module - virtual bool interactive() = 0; + virtual bool interactive() const = 0; + + /// return the current game time + virtual float time() const = 0; /*----- mutators ------------------------------------------------- */ -- cgit v1.2.3