diff --git a/src/timer.c b/src/timer.c index 38c17687ad08a5feada2b7af9011cf5c6c1dbf7f..838d1c2d1fbd2e1b7cbc5d3115cd2c108801c654 100644 --- a/src/timer.c +++ b/src/timer.c @@ -594,6 +594,7 @@ void rt_timer_check(void) continue; } + rt_list_remove(&(t->row[RT_TIMER_SKIP_LIST_LEVEL - 1])); if ((t->parent.flag & RT_TIMER_FLAG_PERIODIC) && (t->parent.flag & RT_TIMER_FLAG_ACTIVATED)) { @@ -682,6 +683,7 @@ void rt_soft_timer_check(void) continue; } + rt_list_remove(&(t->row[RT_TIMER_SKIP_LIST_LEVEL - 1])); if ((t->parent.flag & RT_TIMER_FLAG_PERIODIC) && (t->parent.flag & RT_TIMER_FLAG_ACTIVATED)) {