diff options
Diffstat (limited to 'extmod/os_dupterm.c')
| -rw-r--r-- | extmod/os_dupterm.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extmod/os_dupterm.c b/extmod/os_dupterm.c index 156766a43..399f2237f 100644 --- a/extmod/os_dupterm.c +++ b/extmod/os_dupterm.c @@ -45,6 +45,10 @@ void mp_os_deactivate(size_t dupterm_idx, const char *msg, mp_obj_t exc) { if (exc != MP_OBJ_NULL) { mp_obj_print_exception(&mp_plat_print, exc); } + if (term == MP_OBJ_NULL) { + // Dupterm was already closed. + return; + } nlr_buf_t nlr; if (nlr_push(&nlr) == 0) { mp_stream_close(term); |
