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/unix/coverage.c | |
| parent | 7a5752a7489f6be1c7307455b33119888392a09d (diff) | |
| download | micropython-98a3911c430b0cc96e1821d7ca589b9be3355fc3.tar.gz micropython-98a3911c430b0cc96e1821d7ca589b9be3355fc3.zip | |
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/unix/coverage.c')
| -rw-r--r-- | ports/unix/coverage.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ports/unix/coverage.c b/ports/unix/coverage.c index 1b6132cddd..0703d0a333 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); } } |