diff options
Diffstat (limited to 'docs/book/404.html')
| -rw-r--r-- | docs/book/404.html | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/docs/book/404.html b/docs/book/404.html index ad6526d..c751767 100644 --- a/docs/book/404.html +++ b/docs/book/404.html @@ -8,7 +8,7 @@ <!-- Custom HTML head --> - + <meta name="description" content=""> <meta name="viewport" content="width=device-width, initial-scale=1"> <meta name="theme-color" content="#ffffff"> @@ -194,22 +194,6 @@ </div> - <!-- Livereload script (if served using the cli tool) --> - <script> - const wsProtocol = location.protocol === 'https:' ? 'wss:' : 'ws:'; - const wsAddress = wsProtocol + "//" + location.host + "/" + "__livereload"; - const socket = new WebSocket(wsAddress); - socket.onmessage = function (event) { - if (event.data === "reload") { - socket.close(); - location.reload(); - } - }; - - window.onbeforeunload = function() { - socket.close(); - } - </script> |