diff options
| author | Damien George <damien@micropython.org> | 2022-09-26 00:07:58 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-09-26 00:07:58 +1000 |
| commit | 3abcfb9aecd567c4c74fd3c99703f23c372b7445 (patch) | |
| tree | 1d733e7739dff81df4de0902c609622e32aff52f /docs/esp8266/tutorial/repl.rst | |
| parent | e6d351318746495bf88d2c4bd7cbd81e94a2290e (diff) | |
| download | micropython-3abcfb9aecd567c4c74fd3c99703f23c372b7445.tar.gz micropython-3abcfb9aecd567c4c74fd3c99703f23c372b7445.zip | |
esp32/modsocket: Use mp_obj_is_integer to test port type.
Because the value may be a big integer, which is still a valid type to use.
Fixes issue #9410.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'docs/esp8266/tutorial/repl.rst')
0 files changed, 0 insertions, 0 deletions