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/webrepl_setup.py | |
| parent | d2e4cf00ccec432ccd38adea78099887ac578882 (diff) | |
| download | micropython-924e55aca18978215209a2ed81a49b0a6bdcaaa7.tar.gz micropython-924e55aca18978215209a2ed81a49b0a6bdcaaa7.zip | |
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/webrepl_setup.py')
| -rw-r--r-- | extmod/webrepl/webrepl_setup.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/extmod/webrepl/webrepl_setup.py b/extmod/webrepl/webrepl_setup.py index ffc9c77fc0..16e5f76e65 100644 --- a/extmod/webrepl/webrepl_setup.py +++ b/extmod/webrepl/webrepl_setup.py @@ -1,6 +1,5 @@ import sys -# import uos as os import os import machine |