diff options
Diffstat (limited to 'ports/unix')
| -rw-r--r-- | ports/unix/coverage.c | 4 | ||||
| -rw-r--r-- | ports/unix/modtime.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/ports/unix/coverage.c b/ports/unix/coverage.c index 1b6132cdd..0703d0a33 100644 --- a/ports/unix/coverage.c +++ b/ports/unix/coverage.c @@ -466,7 +466,7 @@ STATIC mp_obj_t extra_coverage(void) { mp_sched_unlock(); // shouldn't do anything while scheduler is locked - mp_handle_pending(); + mp_handle_pending(true); // unlock scheduler mp_sched_unlock(); @@ -474,7 +474,7 @@ STATIC mp_obj_t extra_coverage(void) { // drain pending callbacks while (mp_sched_num_pending()) { - mp_handle_pending(); + mp_handle_pending(true); } } diff --git a/ports/unix/modtime.c b/ports/unix/modtime.c index 479d2a79d..4ea8cb62c 100644 --- a/ports/unix/modtime.c +++ b/ports/unix/modtime.c @@ -109,7 +109,7 @@ STATIC mp_obj_t mod_time_sleep(mp_obj_t arg) { if (res != -1 || errno != EINTR) { break; } - mp_handle_pending(); + mp_handle_pending(true); //printf("select: EINTR: %ld:%ld\n", tv.tv_sec, tv.tv_usec); #else break; |