Index: tools/telemetry/telemetry/core/wpr_server.py |
diff --git a/tools/telemetry/telemetry/core/wpr_server.py b/tools/telemetry/telemetry/core/wpr_server.py |
index 6904d98506c18a1a2eeb2dd6e5256a7b90fd7aa2..31c1b4b57551961db739b8d12881e3689db0c858 100644 |
--- a/tools/telemetry/telemetry/core/wpr_server.py |
+++ b/tools/telemetry/telemetry/core/wpr_server.py |
@@ -53,6 +53,8 @@ class ReplayServer(object): |
self._webpagereplay_local_http_port, |
self._webpagereplay_local_https_port, |
options) |
+ if browser_backend.webdriver_based: |
nduca
2013/07/30 06:49:45
lets do this by constructing the options list firs
chrisgao (Use stgao instead)
2013/07/31 19:05:41
Good idea.
Done. But we need to override webpagere
|
+ self._web_page_replay.replay_options.remove('--no-dns_forwarding') |
self._web_page_replay.StartServer() |
def __enter__(self): |