From ddc5667066b898543ffc5fa09cc82679493adebd Mon Sep 17 00:00:00 2001 From: "Luke Charles (charle44)" Date: Sat, 28 Sep 2019 20:25:47 +0100 Subject: [PATCH] shortcut shortcut for reloading the page --- 02 HTTP.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/02 HTTP.md b/02 HTTP.md index 68744dc5..338c6333 100644 --- a/02 HTTP.md +++ b/02 HTTP.md @@ -178,7 +178,7 @@ Make sure the server is still running and use the [Chrome web browser](https://w 1. Open the [Chrome Developer Tools](https://developers.google.com/web/tools/chrome-devtools/) by clicking on the _customise and control Google Chrome tools_ button (the three dots to the extreme right of the address bar). 2. Choose **More tools** from the menu and then **Developer tools** from the submenu. 3. Locate the **Network** tab in the Chrome developer tools. -4. Reload the web page. +4. Reload the web page. (Press F5) 5. You should now see the resource sent in the HTTP response together with some data dealing with response times. 6. Click on the file name (as shown) to display the HTTP headers.