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_setup.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

websocket_helper.py

extmod/webrepl: Move webrepl scripts to common place and use manifest.

2019-12-20 12:59:13 +11:00