diff options
author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-29 00:52:52 +0300 |
---|---|---|
committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-29 00:52:52 +0300 |
commit | 25d0f7d59d5d2c5cce206c9777aec0987810add4 (patch) | |
tree | 44ccbbcd3854b2cadbbe51567fbe41fa1e48b64a /py/objmodule.c | |
parent | 22050a3ed0d65956a94469d79a9dc853f384fe1e (diff) |
extmod/modwebrepl: Module to handle WebREPL protocol.
While just a websocket is enough for handling terminal part of WebREPL,
handling file transfer operations requires demultiplexing and acting
upon, which is encapsulated in _webrepl class provided by this module,
which wraps a websocket object.
Diffstat (limited to 'py/objmodule.c')
-rw-r--r-- | py/objmodule.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/py/objmodule.c b/py/objmodule.c index d2a4d893c..e334935e4 100644 --- a/py/objmodule.c +++ b/py/objmodule.c @@ -196,6 +196,9 @@ STATIC const mp_rom_map_elem_t mp_builtin_module_table[] = { #if MICROPY_PY_WEBSOCKET { MP_ROM_QSTR(MP_QSTR_websocket), MP_ROM_PTR(&mp_module_websocket) }, #endif +#if MICROPY_PY_WEBREPL + { MP_ROM_QSTR(MP_QSTR__webrepl), MP_ROM_PTR(&mp_module_webrepl) }, +#endif #if MICROPY_PY_FRAMEBUF { MP_ROM_QSTR(MP_QSTR_framebuf), MP_ROM_PTR(&mp_module_framebuf) }, #endif |