| Index: Source/devtools/front_end/devtools.html
|
| diff --git a/Source/devtools/front_end/devtools.html b/Source/devtools/front_end/devtools.html
|
| index be7306408760e40dc3715f713e6d8e084b854d67..e7ee435b4ccd63e6e919187a7f9012d4529de292 100644
|
| --- a/Source/devtools/front_end/devtools.html
|
| +++ b/Source/devtools/front_end/devtools.html
|
| @@ -14,7 +14,13 @@
|
| </head>
|
| <body class="undocked" id="-blink-dev-tools">
|
| <script>
|
| -document.write("<iframe class='inspector-app-iframe' src='inspector.html" + window.location.search + "'></iframe>");
|
| +(function() {
|
| + var remoteFrontendUrl = Runtime.queryParam("remoteFrontendUrl");
|
| + var src = remoteFrontendUrl
|
| + ? decodeURIComponent(remoteFrontendUrl) + Runtime.constructQueryParams(["remoteFrontendUrl"])
|
| + : "inspector.html" + window.location.search;
|
| + document.write("<iframe class='inspector-app-iframe' src='" + src + "'></iframe>");
|
| +})();
|
| </script>
|
| </body>
|
| </html>
|
|
|