diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-03-02 20:27:47 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-03-02 20:27:47 +0000 |
| commit | 67849f2db7df141c09f5b26205d76fea2fcbd583 (patch) | |
| tree | 5629b185390bcd105af18e3f6cdd877aff365b63 /src/buffer_manager.hh | |
| parent | 2df7b1f6da56eb4424233e87a7b15ca4b59d7514 (diff) | |
BufferManager should outlive ClientManager in the end
If not, clients end up keeping references on a buffer while
it it being deleted.
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index 17388c92..014d241e 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -16,7 +16,6 @@ public: using BufferList = Vector<SafePtr<Buffer>>; using iterator = BufferList::const_iterator; - BufferManager(); ~BufferManager(); void register_buffer(Buffer& buffer); |