From 671a038fdae1105c8bcc9d467bba2b05dc7c4502 Mon Sep 17 00:00:00 2001 From: schaars Date: Fri, 11 Jul 2014 17:46:01 +0200 Subject: [PATCH] Update run.py None and False are better values here (thanks to @jgraham). --- src/test/wpt/run.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/wpt/run.py b/src/test/wpt/run.py index f9019b718c3..cde6d770a69 100644 --- a/src/test/wpt/run.py +++ b/src/test/wpt/run.py @@ -34,8 +34,8 @@ def set_defaults(args): args.include = args.include if args.include else ["/dom", "/XMLHttpRequest"] args.binary = args.binary if args.binary else os.path.join(servo_root, "build", "servo") args.product = "servo" - args.debug_args = "" - args.interactive = "" + args.debug_args = None + args.interactive = False return vars(args) def main():