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

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

diff --git a/senf/PPI/EventManager.cc b/senf/PPI/EventManager.cc
index 9a33449..db9b8ef 100644 (file)
--- a/senf/PPI/EventManager.cc
+++ b/senf/PPI/EventManager.cc
@@ -45,6 +45,8 @@
 //-/////////////////////////////////////////////////////////////////////////////////////////////////
 // private members
 
+bool senf::ppi::EventManager::alive_ (false);
+
 prefix_ void senf::ppi::EventManager::destroyModule(module::Module & module)
 {
     using boost::lambda::_1;