kopia lustrzana https://github.com/micropython/micropython-lib
![]() wait() may finish prematurely due to I/O completion, and schedule new, earlier than before tasks to run. So, after call to wait(), we need to check current time and time of head task, and continue to wait if needed. Recently introduced provisional utimeq.peektime() is used to optimize querying time of a head task. |
||
---|---|---|
.. | ||
core.py |