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

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

diff --git a/senf/PPI/EventManager.cci b/senf/PPI/EventManager.cci
index 1bfe479..66881d4 100644 (file)
--- a/senf/PPI/EventManager.cci
+++ b/senf/PPI/EventManager.cci
@@ -38,6 +38,11 @@
 //-/////////////////////////////////////////////////////////////////////////////////////////////////
 // senf::ppi::EventManager
 
+prefix_ bool senf::ppi::EventManager::alive()
+{
+    return alive_;
+}
+
 prefix_ senf::ppi::EventManager & senf::ppi::EventManager::instance()
 {
     static EventManager manager;
@@ -57,6 +62,16 @@ prefix_ senf::ClockService::clock_type senf::ppi::EventManager::time()
 //-/////////////////////////////////////////////////////////////////////////////////////////////////
 // private members
 
+prefix_ senf::ppi::EventManager::EventManager()
+{
+    alive_ = true;
+}
+
+prefix_ senf::ppi::EventManager::~EventManager()
+{
+    alive_ = false;
+}
+
 prefix_ void senf::ppi::EventManager::eventTime(ClockService::clock_type time)
 {
     eventTime_ = time;