diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-03-03 13:55:35 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-03-03 14:05:07 +0000 |
| commit | b5b5b82c70533c833396fbe490e860d4820ca022 (patch) | |
| tree | 63c2a604017fe65bdde1f126715716f8193b7f7d /src/buffer_manager.cc | |
| parent | f16bb36f41432c0938954d0e42f57eedf8ed0287 (diff) | |
destroy buffer manager first but clear clients before destroying buffers.
Fixes #612
Diffstat (limited to 'src/buffer_manager.cc')
| -rw-r--r-- | src/buffer_manager.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/buffer_manager.cc b/src/buffer_manager.cc index 9568c33e..bb9f7902 100644 --- a/src/buffer_manager.cc +++ b/src/buffer_manager.cc @@ -18,7 +18,8 @@ struct name_not_unique : runtime_error BufferManager::~BufferManager() { - kak_assert(not ClientManager::has_instance()); + // Make sure not clients exists + ClientManager::instance().clear(); // delete remaining buffers while (not m_buffers.empty()) |