Method on_timer_delete

src/plugin/timer/timerlist.cpp:284–292

}

void
TimerList::on_timer_delete(timer_t timerid)
{
  _do_lock_tbl();
  _timerVirtIdTable.erase(timerid);
  JASSERT(_timerInfo.find(timerid) != _timerInfo.end());
  _timerInfo.erase(timerid);
  _do_unlock_tbl();
}

void
TimerList::on_timer_settime(timer_t timerid,