Address Windows pipe error message
Markus Gerstel
2 years ago
| 456 | 456 | # which could indicate that the process has terminated. |
| 457 | 457 | try: |
| 458 | 458 | event = thread_pipe_pool[0].poll(0.5) |
| 459 | except IOError as e: | |
| 460 | # on Windows this raises "IOError: [Errno 109] The pipe has been ended" | |
| 459 | except BrokenPipeError as e: | |
| 460 | # on Windows this raises "BrokenPipeError: [Errno 109] The pipe has been ended" | |
| 461 | 461 | # which is for all intents and purposes equivalent to a True return value. |
| 462 | if e.errno != 109: | |
| 462 | if e.winerror != 109: | |
| 463 | 463 | raise |
| 464 | 464 | event = True |
| 465 | 465 | if event: |