summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--unix/modtime.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/unix/modtime.c b/unix/modtime.c
index 0c33249475..2a907a7736 100644
--- a/unix/modtime.c
+++ b/unix/modtime.c
@@ -125,6 +125,9 @@ STATIC mp_obj_t mod_time_sleep(mp_obj_t arg) {
if (res != -1 || errno != EINTR) {
break;
}
+ if (MP_STATE_VM(mp_pending_exception) != MP_OBJ_NULL) {
+ return mp_const_none;
+ }
//printf("select: EINTR: %ld:%ld\n", tv.tv_sec, tv.tv_usec);
#else
break;