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

[senf.git] / senf / PPI / Module.cci

diff --git a/senf/PPI/Module.cci b/senf/PPI/Module.cci
index e28da49..b138400 100644 (file)
--- a/senf/PPI/Module.cci
+++ b/senf/PPI/Module.cci
@@ -100,7 +100,8 @@ prefix_ senf::ppi::module::Module::Module()
 
 prefix_ void senf::ppi::module::Module::destroy()
 {
-    eventManager().destroyModule(*this);
+    if (EventManager::alive())
+        eventManager().destroyModule(*this);
 }
 
 //-/////////////////////////////////////////////////////////////////////////////////////////////////