//#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)
{
// It's hard to make this inline because of a circular header dependency ...