X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=senf%2FPPI%2FEvents.cc;h=5343bcce3ef4bc090cc6ab9036f5ece21c7ef4cd;hb=8a6697d11e9a6557d9a5c42b4052666fce32bc10;hp=6180da52ecc35a2ed35b1d6cc26d6357ae2c3a12;hpb=ab7ff164ab5ae711ec09ce2b24228510f1ffdcff;p=senf.git

diff --git a/senf/PPI/Events.cc b/senf/PPI/Events.cc
index 6180da5..5343bcc 100644
--- 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);
 }