Index: Tools/Scripts/webkitpy/thirdparty/wpt/wpt.config.json |
diff --git a/Tools/Scripts/webkitpy/thirdparty/wpt/wpt.config.json b/Tools/Scripts/webkitpy/thirdparty/wpt/wpt.config.json |
new file mode 100644 |
index 0000000000000000000000000000000000000000..84fd3f4c24c650b63ce83e93ea96b9e3b87401ed |
--- /dev/null |
+++ b/Tools/Scripts/webkitpy/thirdparty/wpt/wpt.config.json |
@@ -0,0 +1,13 @@ |
+{ |
+ "host": "127.0.0.1", |
+ "doc_root": null, |
+ "ws_doc_root": null, |
+ "external_host": null, |
+ "check_subdomains": false, |
+ "ports": { |
+ "http": [8001, 8081], |
+ "https": [8444], |
+ "ws": [9001], |
+ "wss": [9444] |
+ } |
+} |