diff options
| author | Paul Sokolovsky | 2016-04-29 00:52:52 +0300 |
|---|---|---|
| committer | Paul Sokolovsky | 2016-04-29 00:52:52 +0300 |
| commit | 25d0f7d59d5d2c5cce206c9777aec0987810add4 (patch) | |
| tree | 44ccbbcd3854b2cadbbe51567fbe41fa1e48b64a /py/builtin.h | |
| 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/builtin.h')
| -rw-r--r-- | py/builtin.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/py/builtin.h b/py/builtin.h index f63eac73e..9d6e42409 100644 --- a/py/builtin.h +++ b/py/builtin.h @@ -110,6 +110,7 @@ extern const mp_obj_module_t mp_module_ussl; extern const mp_obj_module_t mp_module_machine; extern const mp_obj_module_t mp_module_lwip; extern const mp_obj_module_t mp_module_websocket; +extern const mp_obj_module_t mp_module_webrepl; extern const mp_obj_module_t mp_module_framebuf; // extmod functions |