| resourcemonitor.py |
Wrap multiprocessing.Pipe.poll to hide POLLERR and POLLIN
exceptions.
multiprocessing.Pipe is not actually a pipe on at least Linux.
That has an effect on the expected outcome of reading from it when
the other end of the pipe dies, leading to possibly hanging on revc()
below.
|
43799 |