diff options
Diffstat (limited to 'src/server')
-rw-r--r-- | src/server/console.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/server/console.cc b/src/server/console.cc index 77b5d28..b5d0aaf 100644 --- a/src/server/console.cc +++ b/src/server/console.cc @@ -30,6 +30,9 @@ public: /// stream to send debug messages too virtual std::ostream & debugstream(); + /// flush does nothing in this implementation + virtual void flush(); + unsigned long ping; }; @@ -65,6 +68,10 @@ void shutdown() //--- private ----------------------------------------------------- +void Console::flush() +{ +} + std::ostream & Console::messagestream() { return std::cout; |