X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=senf%2FPPI%2FEventManager.cc;h=ca2a598692b6dcad03015729be952398f52cc89c;hb=9bc655e14d2d8c204ed835896cb51e42d49bd68f;hp=60a56ca96f31184a7dc466a32973966525afcf06;hpb=9cb871b939efe93e35dd96808d25089399acfc46;p=senf.git diff --git a/senf/PPI/EventManager.cc b/senf/PPI/EventManager.cc index 60a56ca..ca2a598 100644 --- a/senf/PPI/EventManager.cc +++ b/senf/PPI/EventManager.cc @@ -56,7 +56,8 @@ prefix_ void senf::ppi::EventManager::destroyEvent(EventDescriptor & event) SENF_ASSERT( std::find_if(registrations_.begin(), registrations_.end(), l::bind(&detail::EventBindingBase::descriptor_,_1) == &event) - == registrations_.end()); + == registrations_.end(), + "Internal failure: registrations still active while destroying event ??"); } ///////////////////////////////cc.e////////////////////////////////////////