Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #22442 - servo:wpt-logs, r=jdm

Browse source 
Taskcluster: make WPT logs more readable

Fixes #22438

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22442)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-12-13 23:48:51 -05:00 • committed by GitHub
commit f7fd128881
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 13 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/servo/testing_commands.py
View file

@ -571,7 +571,7 @@ class MachCommands(CommandBase):
if log_intermittents:
with open(log_intermittents, "w") as intermittents_file:
for intermittent in intermittents:
json.dump(intermittent, intermittents_file)
json.dump(intermittent, intermittents_file, indent=4)
print("\n", end='', file=intermittents_file)
if len(actual_failures) == 0:
@ -579,7 +579,7 @@ class MachCommands(CommandBase):
output = open(log_filteredsummary, "w") if log_filteredsummary else sys.stdout
for failure in actual_failures:
json.dump(failure, output)
json.dump(failure, output, indent=4)
print("\n", end='', file=output)
if output is not sys.stdout: