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

Auto merge of #20209 - servo:jdm-patch-6, r=glennw

Browse source 
Fix exception when updating WPT metadata.

<!-- 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/20209)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-03-05 22:42:12 -05:00 • committed by GitHub
commit b7a8d78972
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/wpt/update/updatecommandline.py
View file

@ -20,6 +20,7 @@ def check_args(kwargs):
from wptrunner import wptcommandline
wptcommandline.set_from_config(kwargs)
if hasattr(wptcommandline, 'check_paths'):
wptcommandline.check_paths(kwargs)
kwargs["upstream"] = kwargs["upstream"] if kwargs["upstream"] is not None else kwargs["sync"]