BufferManager notify the ClientManager when a buffer dies

1 files changed, 5 insertions, 0 deletions

diff --git a/src/utils.hh b/src/utils.hh
index 6337bc24..0db71f40 100644
--- a/src/utils.hh
+++ b/src/utils.hh
@@ -33,6 +33,11 @@ public:
         ms_instance = nullptr;
     }
 
+    static bool has_instance()
+    {
+        return ms_instance != nullptr;
+    }
+
 protected:
     Singleton()
     {