micropython/extmod/webrepl
Jim Mussared 7ce1e0b1dc extmod/webrepl: Move webrepl scripts to common place and use manifest.
Move webrepl support code from ports/esp8266/modules into extmod/webrepl
(to be alongside extmod/modwebrepl.c), and use frozen manifests to include
it in the build on esp8266 and esp32.

A small modification is made to webrepl.py to make it work on non-ESP
ports, i.e. don't call dupterm_notify if not available.
2019-12-20 12:59:13 +11:00
..
manifest.py extmod/webrepl: Move webrepl scripts to common place and use manifest. 2019-12-20 12:59:13 +11:00
webrepl.py extmod/webrepl: Move webrepl scripts to common place and use manifest. 2019-12-20 12:59:13 +11:00
webrepl_setup.py extmod/webrepl: Move webrepl scripts to common place and use manifest. 2019-12-20 12:59:13 +11:00
websocket_helper.py extmod/webrepl: Move webrepl scripts to common place and use manifest. 2019-12-20 12:59:13 +11:00