Merge branch 'bugfix/monitor_windows10_crash' into 'master'

monitor: Fix Windows 10 crash since Fall Creators Update

See merge request !1567
This commit is contained in:
Angus Gratton 2017-11-27 07:22:44 +08:00
commit 7683bdbce2

View file

@ -559,7 +559,12 @@ if os.name == 'nt':
self.output.write(self.matched) # not an ANSI color code, display verbatim
self.matched = b''
else:
self.output.write(b)
try:
self.output.write(b)
except IOError:
# Windows 10 bug since the Fall Creators Update, sometimes writing to console randomly fails
# (but always succeeds the second time, it seems.) Ref https://github.com/espressif/esp-idf/issues/1136
self.output.write(b)
self.matched = b''
def flush(self):