Use the buffer manager to delete buffer, throw when a client is inserting

1 files changed, 3 insertions, 0 deletions

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(); }