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