Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 12:40:06 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix visual indent error.

Browse source
This commit is contained in:
Josh Matthews 2019-11-22 14:34:26 -05:00 • committed by GitHub
parent 804780f933
commit 41d1ecac64
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
etc/wpt-summarize.py
View file

@ -35,8 +35,8 @@ with open(sys.argv[1]) as f:
thread = None thread = None
else: else:
if ("action" in entry and if ("action" in entry and
entry["action"] == "test_start" and entry["action"] == "test_start" and
entry["test"] == sys.argv[2]): entry["test"] == sys.argv[2]):
thread = entry["thread"] thread = entry["thread"]
print(json.dumps(entry)) print(json.dumps(entry))
elif (full_search and elif (full_search and