From b5b5b82c70533c833396fbe490e860d4820ca022 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Thu, 3 Mar 2016 13:55:35 +0000
Subject: destroy buffer manager first but clear clients before destroying
 buffers.

Fixes #612
---
 src/buffer_manager.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/buffer_manager.cc')

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())
-- 
cgit v1.2.3