void operator()(thread& t) { t.interrupt(); if (t.joinable()) { t.join(); } }
void interrupt() { ECTO_LOG_DEBUG("interrupting %p", this); runner.interrupt(); ECTO_LOG_DEBUG("interrupt %p done", this); }