diff options
author | Damien George <damien.p.george@gmail.com> | 2020-02-06 01:05:47 +1100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2020-02-07 16:08:20 +1100 |
commit | 98a3911c430b0cc96e1821d7ca589b9be3355fc3 (patch) | |
tree | 1182ab05b8366c85f40700548bd003d2a6bd3597 /ports/esp32/modsocket.c | |
parent | 7a5752a7489f6be1c7307455b33119888392a09d (diff) |
py/scheduler: Add "raise_exc" argument to mp_handle_pending.
Previous behaviour is when this argument is set to "true", in which case
the function will raise any pending exception. Setting it to "false" will
cancel any pending exception.
Diffstat (limited to 'ports/esp32/modsocket.c')
-rw-r--r-- | ports/esp32/modsocket.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/esp32/modsocket.c b/ports/esp32/modsocket.c index e11af60e2..60a028c13 100644 --- a/ports/esp32/modsocket.c +++ b/ports/esp32/modsocket.c @@ -162,7 +162,7 @@ NORETURN static void exception_from_errno(int _errno) { } static inline void check_for_exceptions(void) { - mp_handle_pending(); + mp_handle_pending(true); } // This function mimics lwip_getaddrinfo, with added support for mDNS queries |