summaryrefslogtreecommitdiff
path: root/extmod/os_dupterm.c
diff options
context:
space:
mode:
Diffstat (limited to 'extmod/os_dupterm.c')
-rw-r--r--extmod/os_dupterm.c4
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);