diff options
Diffstat (limited to 'src/sched.c')
| -rw-r--r-- | src/sched.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sched.c b/src/sched.c index 9aa5aea2..e4b51355 100644 --- a/src/sched.c +++ b/src/sched.c @@ -165,8 +165,8 @@ sched_timer_dispatch(void) return next_waketime; } -// Remove all user timers on a shutdown -static void +// Remove all user timers +void sched_timer_reset(void) { timer_list = &deleted_timer; |