Index: third_party/WebKit/Source/devtools/front_end/devtools.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/devtools.js b/third_party/WebKit/Source/devtools/front_end/devtools.js |
index f2a132556cfd033ba6ff65681edfb7a9ba723bb1..5e83ae3bb1ca36b38dfeedb22024902029e551ba 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/devtools.js |
+++ b/third_party/WebKit/Source/devtools/front_end/devtools.js |
@@ -1000,6 +1000,8 @@ function sanitizeRemoteFrontendUrl() |
location.search = ""; |
if (name === "remoteBase" && !remoteBaseRegexp.test(value)) |
location.search = ""; |
+ if (name === "settings") |
+ location.search = ""; |
} |
} |