diff options
-rw-r--r-- | crawl-ref/source/webserver/checkoutput.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/crawl-ref/source/webserver/checkoutput.py b/crawl-ref/source/webserver/checkoutput.py index 9bbf8f2630..7131ca8360 100644 --- a/crawl-ref/source/webserver/checkoutput.py +++ b/crawl-ref/source/webserver/checkoutput.py @@ -25,8 +25,14 @@ def check_output(call, callback, ioloop): if p.returncode is not None: ioloop.remove_handler(out_r) + try: + buf = os.read(out_r, BUFSIZ) + except (IOError, OSError) as e: + pass os.close(out_r) + if buf: + data.append(buf) callback("".join(data), p.returncode) def _handle_read(fd, events): |