Using "debug task", it's possible to change a task's expiration, but
we must be careful not to set it to TICK_ETERNITY. Let's use tick_add()
instead. The risk is basically nul since it's a debugging command, so
no backport is needed.
else if (task_ok) {
/* unlink task and wake with timer flag */
__task_unlink_wq(t);
- t->expire = now_ms;
+ t->expire = tick_add(now_ms, 0);
task_wakeup(t, TASK_WOKEN_TIMER);
}
} else if (strcmp(args[arg], "wake") == 0) {