diff options
author | 2015-02-24 15:23:32 -0800 | |
---|---|---|
committer | 2015-02-24 15:23:32 -0800 | |
commit | 23d2f3f2b1370597e6d9021a214a12b78cbaada6 (patch) | |
tree | 5224079b449071013e171ced0f92398d3e53d123 /tools | |
parent | 336ad50973779488314ce698af1cc6156351213d (diff) |
Support writes failing
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/run_tests/jobset.py | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/tools/run_tests/jobset.py b/tools/run_tests/jobset.py index 39670f1898..569cb5bac2 100755 --- a/tools/run_tests/jobset.py +++ b/tools/run_tests/jobset.py @@ -101,16 +101,19 @@ _TAG_COLOR = { def message(tag, message, explanatory_text=None, do_newline=False): - sys.stdout.write('%s%s%s\x1b[%d;%dm%s\x1b[0m: %s%s' % ( - _BEGINNING_OF_LINE, - _CLEAR_LINE, - '\n%s' % explanatory_text if explanatory_text is not None else '', - _COLORS[_TAG_COLOR[tag]][1], - _COLORS[_TAG_COLOR[tag]][0], - tag, - message, - '\n' if do_newline or explanatory_text is not None else '')) - sys.stdout.flush() + try: + sys.stdout.write('%s%s%s\x1b[%d;%dm%s\x1b[0m: %s%s' % ( + _BEGINNING_OF_LINE, + _CLEAR_LINE, + '\n%s' % explanatory_text if explanatory_text is not None else '', + _COLORS[_TAG_COLOR[tag]][1], + _COLORS[_TAG_COLOR[tag]][0], + tag, + message, + '\n' if do_newline or explanatory_text is not None else '')) + sys.stdout.flush() + except: + pass def which(filename): |