mirror of
https://github.com/micropython/micropython.git
synced 2026-01-07 20:50:14 +01:00
This fix prevents server.wait_closed() from raising an AttributeError when trying to access server.task. This can happen if it is called immediately after start_server().