unix: Use mp_handle_pending() in time.sleep().

pull/2878/head
Damien George 2017-02-15 23:05:38 +11:00
rodzic 6e74d24f30
commit c138b21ceb
1 zmienionych plików z 1 dodań i 3 usunięć

Wyświetl plik

@ -108,9 +108,7 @@ 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;
}
mp_handle_pending();
//printf("select: EINTR: %ld:%ld\n", tv.tv_sec, tv.tv_usec);
#else
break;