diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-06-14 13:15:30 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-06-14 13:15:30 +0000 |
| commit | 109c11f29c08f6592e53cb9e309e76d6619ee522 (patch) | |
| tree | 1567d992c4fa772e11dc788f6d3fadc68b66deab /src/buffer_manager.hh | |
| parent | be478020584829ac759372f63c482e35b3e11823 (diff) | |
BufferManager deletes remaining buffers in his destructor
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index e893d419..beba6652 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -26,6 +26,8 @@ public: Buffer* operator->() const { return parent_type::operator*().second; } }; + ~BufferManager(); + void register_buffer(Buffer* buffer); void unregister_buffer(Buffer* buffer); |