mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-04-25 08:14:02 +08:00
db5137b756
The Selector's code internally uses select.select and passes the timeout argument to it. The documentation explicitly states the timeout is a floating point number: https://docs.python.org/3/library/select.html?highlight=select#select.select