//#include "EventBinding.ih"
// Custom includes
-#include "../EventManager.hh"
+#include <senf/PPI/EventManager.hh>
+#include <senf/PPI/Module.hh>
//#include "EventBinding.mpp"
#define prefix_
-///////////////////////////////cc.p////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
+
+prefix_ senf::ppi::detail::EventBindingBase::~EventBindingBase()
+{
+ descriptor_->enabled(false);
+ module().unregisterEvent(*descriptor_);
+ descriptor_->binding_ = 0;
+}
prefix_ void senf::ppi::detail::EventBindingBase::eventTime(ClockService::clock_type time)
{
manager_->eventTime(time);
}
-///////////////////////////////cc.e////////////////////////////////////////
+//-/////////////////////////////////////////////////////////////////////////////////////////////////
#undef prefix_
//#include "EventBinding.mpp"