diff options
| author | DavePutz <dwputz@gmail.com> | 2020-09-14 11:27:08 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-14 11:27:08 -0500 |
| commit | da0a0f88f9d6bbaf0debfe93f01ed162cf38eae2 (patch) | |
| tree | 07fbc3793a8cc634c08f2f3b05fa2c8ccee73f42 | |
| parent | c812bee8f1bd45d13c10f2fc7f115afc32df504a (diff) | |
Reverting some prior changes
| -rw-r--r-- | supervisor/shared/tick.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/supervisor/shared/tick.c b/supervisor/shared/tick.c index 012f2c80e..91ffa307d 100644 --- a/supervisor/shared/tick.c +++ b/supervisor/shared/tick.c @@ -94,6 +94,8 @@ void supervisor_background_tasks(void *unused) { assert_heap_ok(); + last_finished_tick = port_get_raw_ticks(NULL); + port_finish_background_task(); } |