Bug fix for opentimers (thanks to Francisco)
@@ -60,6 +60,7 @@ opentimers_id_t opentimers_create(uint8_t timer_id, uint8_t task_prio){
opentimers_vars.timersBuf[timer_id].isUsed = TRUE;
// the TSCH timer and inhibit timer won't push a task,
// hence task_prio is not used
+ ENABLE_INTERRUPTS();
return timer_id;
}
}
@@ -69,6 +70,7 @@ opentimers_id_t opentimers_create(uint8_t timer_id, uint8_t task_prio){
if (opentimers_vars.timersBuf[id].isUsed == FALSE){
opentimers_vars.timersBuf[id].isUsed = TRUE;
opentimers_vars.timersBuf[id].timer_task_prio = task_prio;
+ ENABLE_INTERRUPTS();
return id;
}
}
