| Index: third_party/WebKit/Source/devtools/scripts/hosted_mode/server.js
|
| diff --git a/third_party/WebKit/Source/devtools/scripts/hosted_mode/server.js b/third_party/WebKit/Source/devtools/scripts/hosted_mode/server.js
|
| index 9bdf3cdbb7be7e1b2ccfe3b42b827638c60a16d8..305c2b68709f1e538a39fe8f6982099a11e8e12d 100644
|
| --- a/third_party/WebKit/Source/devtools/scripts/hosted_mode/server.js
|
| +++ b/third_party/WebKit/Source/devtools/scripts/hosted_mode/server.js
|
| @@ -16,7 +16,7 @@ http.createServer(requestHandler).listen(serverPort);
|
| console.log(`Started hosted mode server at http://localhost:${serverPort}\n`);
|
| console.log("For info on using the hosted mode server, see our contributing docs:");
|
| console.log("https://bit.ly/devtools-contribution-guide");
|
| -console.log("Tip: Look for the 'Hosted Mode Server Options' section");
|
| +console.log("Tip: Look for the 'Hosted Mode Server Options' section\n");
|
|
|
| function requestHandler(request, response)
|
| {
|
|
|