penguinolog / urwid / 36883303909

86%

master: 86%

push

github

Fix watch_pipe double close, end-of-file spin and async reads

- With an async callback the pipe stayed readable until the task read it,
  so a second task was started whose read raised BlockingIOError and
  ended the loop; such a task now returns.
- A callback returning False closed the read end but left the entry, so
  remove_watch_pipe() closed the descriptor again, possibly another
  file's; remove_watch_pipe() is now the only place that closes it, and a
  callback acts only while its own watch is registered.
- At end of file the pipe stayed readable and the loop spun at full CPU;
  the callback now gets b"" once and the watch is removed.
- watch_pipe() drops an entry left under a reused write-end number.

4553 of 5486 branches covered (82.99%)

Branch coverage included in aggregate %.

18 of 20 new or added lines in 1 file covered. (90.0%)

11432 of 13061 relevant lines covered (87.53%)

4.8 hits per line