PPI: fixed module destruction on shutdown if EventManger is already destroyed (like...

[senf.git] / senf / PPI / Events.cc

diff --git a/senf/PPI/Events.cc b/senf/PPI/Events.cc
index 6180da5..5343bcc 100644 (file)
--- a/senf/PPI/Events.cc
+++ b/senf/PPI/Events.cc
@@ -44,7 +44,7 @@
 
 prefix_ senf::ppi::EventDescriptor::~EventDescriptor()
 {
-    if (binding_)
+    if (binding_ && EventManager::alive())
         binding_->manager().destroyEvent(*this);
 }