diff options
author | JJ | 2024-05-17 00:40:34 +0000 |
---|---|---|
committer | JJ | 2024-05-17 00:40:34 +0000 |
commit | e04af86491d97b297406cc4cd0d77fbbfc3a94c4 (patch) | |
tree | 6a97523e328f6070ae201ea325beb26d09e5c430 /docs/book/404.html | |
parent | 2d531db8eda6dfb62c2710296b5aaa3de190ac35 (diff) |
docs: update website
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> |