diff options
Diffstat (limited to 'src/client_manager.hh')
| -rw-r--r-- | src/client_manager.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client_manager.hh b/src/client_manager.hh index 104d2124..7d92ed7e 100644 --- a/src/client_manager.hh +++ b/src/client_manager.hh @@ -27,7 +27,7 @@ public: bool empty() const { return m_clients.empty(); } size_t count() const { return m_clients.size(); } - void clear(); + void clear(bool exit); void ensure_no_client_uses_buffer(Buffer& buffer); |