diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-07-20 12:09:24 +1000 |
|---|---|---|
| committer | Jim Mussared <jim.mussared@gmail.com> | 2022-07-23 12:43:08 +1000 |
| commit | 924e55aca18978215209a2ed81a49b0a6bdcaaa7 (patch) | |
| tree | 9656ad568db3aa1a049af50b882298770b0ee68b /extmod/webrepl/manifest.py | |
| parent | d2e4cf00ccec432ccd38adea78099887ac578882 (diff) | |
extmod/webrepl: Allow the page to run from the device (over HTTP).
The device will respond to a non-WS request with a simple page that loads
websocket_content.js from a static host (http or https). However, even
if the resources are https, the page is still http and therefore allows
requesting to a WS (not WSS) websocket on the device.
Removed unused client_handshake from websocket_helper, and then merges the
remainder of this file (server_handshake) into webrepl.py (to reduce
firmware size). Also added the respond-as-HTTP handling to
server_handshake.
The default HTTP response is a simple page that sets the base URL and then
loads webrepl_content.js which document.write's the actual HTML.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'extmod/webrepl/manifest.py')
| -rw-r--r-- | extmod/webrepl/manifest.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extmod/webrepl/manifest.py b/extmod/webrepl/manifest.py index 6eceb3eeb..c504c7305 100644 --- a/extmod/webrepl/manifest.py +++ b/extmod/webrepl/manifest.py @@ -1 +1 @@ -freeze(".", ("webrepl.py", "webrepl_setup.py", "websocket_helper.py")) +freeze(".", ("webrepl.py", "webrepl_setup.py")) |