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

Add --binary-arg support in ./mach test-wpt --product servodriver

Browse source
This commit is contained in:
Simon Sapin 2018-07-19 16:56:53 +02:00
parent 9b80369efb
commit c05d30d116
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tests/wpt/web-platform-tests/tools/wptrunner/wptrunner/browsers/servodriver.py
View file

@ -37,6 +37,7 @@ def check_args(**kwargs):
def browser_kwargs(test_type, run_info_data, **kwargs): def browser_kwargs(test_type, run_info_data, **kwargs):
return { return {
"binary": kwargs["binary"], "binary": kwargs["binary"],
"binary_args": kwargs["binary_args"],
"debug_info": kwargs["debug_info"], "debug_info": kwargs["debug_info"],
"server_config": kwargs["config"], "server_config": kwargs["config"],
"user_stylesheets": kwargs.get("user_stylesheets"), "user_stylesheets": kwargs.get("user_stylesheets"),
@ -74,9 +75,10 @@ class ServoWebDriverBrowser(Browser):
used_ports = set() used_ports = set()
def __init__(self, logger, binary, debug_info=None, webdriver_host="127.0.0.1", def __init__(self, logger, binary, debug_info=None, webdriver_host="127.0.0.1",
server_config=None, user_stylesheets=None): server_config=None, binary_args=None, user_stylesheets=None):
Browser.__init__(self, logger) Browser.__init__(self, logger)
self.binary = binary self.binary = binary
self.binary_args = binary_args or []
self.webdriver_host = webdriver_host self.webdriver_host = webdriver_host
self.webdriver_port = None self.webdriver_port = None
self.proc = None self.proc = None
@ -95,7 +97,7 @@ class ServoWebDriverBrowser(Browser):
debug_args, command = browser_command( debug_args, command = browser_command(
self.binary, self.binary,
[ self.binary_args + [
"--hard-fail", "--hard-fail",
"--webdriver", str(self.webdriver_port), "--webdriver", str(self.webdriver_port),
"about:blank", "about:blank",