return timers_.empty();
}
+prefix_ void senf::scheduler::detail::TimerDispatcher::
+timerSource(std::auto_ptr<TimerSource> timerSource)
+{
+ source_.reset(timerSource.release());
+}
+
+prefix_ senf::scheduler::detail::TimerSource *
+senf::scheduler::detail::TimerDispatcher::timerSource()
+{
+ return source_.get();
+}
+
///////////////////////////////cci.e///////////////////////////////////////
#undef prefix_