Robert Bragg 3f44eb1fd9 Add timeout argument to pump_events ...

This renames all internal implementations of pump_events_with_timeout
to pump_events and makes them public.

Since all platforms that support pump_events support timeouts there's
no need to have a separate API.

2023-08-15 13:10:02 +04:00

2.2 KiB

Raw Blame History

View Raw