Closed JamesMurkin closed 3 months ago
The API for working out if a timer is stopped / needs draining is more complicated than I understood.
When we try to reset/drain the timer, we can get stuck waiting forever.
We could fix what we have to use it properly, but instead use simpler approach that isn't error prone
It also means we can print how long it has been since we last received an event
The API for working out if a timer is stopped / needs draining is more complicated than I understood.
When we try to reset/drain the timer, we can get stuck waiting forever.
We could fix what we have to use it properly, but instead use simpler approach that isn't error prone
It also means we can print how long it has been since we last received an event