I was looking through the concurrency section and noticed the set_timer_1hz function being used there to setup a timer. I am guessing that this function just abstracts away some boilerplate to setup the timer, that would otherwise bloat the documentation. However, I have not found any piece of code in the book, that shows how to set such a timer up. Would it be an idea to eather point to such an example, or provide the definition in the in the concurrency section?
Hey there 👋
I was looking through the concurrency section and noticed the
set_timer_1hzfunction being used there to setup a timer. I am guessing that this function just abstracts away some boilerplate to setup the timer, that would otherwise bloat the documentation. However, I have not found any piece of code in the book, that shows how to set such a timer up. Would it be an idea to eather point to such an example, or provide the definition in the in the concurrency section?