From 9999e5698d50b384eb95181ef06db4cc99c90bb2 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Wed, 10 Apr 2013 18:54:01 +0200 Subject: Use the buffer manager to delete buffer, throw when a client is inserting --- src/buffer_manager.hh | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/buffer_manager.hh') diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index 3d90c1f8..01c30e81 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -22,6 +22,9 @@ public: void register_buffer(Buffer& buffer); void unregister_buffer(Buffer& buffer); + void delete_buffer(Buffer& buffer); + void delete_buffer_if_exists(const String& name); + iterator begin() const { return m_buffers.cbegin(); } iterator end() const { return m_buffers.cend(); } size_t count() const { return m_buffers.size(); } -- cgit v1.2.3