diff options
Diffstat (limited to 'ports/unix/modtime.c')
| -rw-r--r-- | ports/unix/modtime.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; |