extmod/os_dupterm: Call stream ioctl for repl attach/detach.

Signed-off-by: Andrew Leech <[email protected]>

Author: pi-anl

extmod/os_dupterm.c

@@ -52,6 +52,8 @@ void mp_os_deactivate(size_t dupterm_idx, const char *msg, mp_obj_t exc) {
     nlr_buf_t nlr;
     if (nlr_push(&nlr) == 0) {
         mp_stream_close(term);
+        const mp_stream_p_t *stream_p = mp_get_stream_raise(term, MP_STREAM_OP_IOCTL);
+        stream_p->ioctl(term, MP_STREAM_REPL_ATTACHED, 0, &errcode);
         nlr_pop();
     } else {
         // Ignore any errors during stream closing
@@ -227,7 +229,7 @@ static mp_obj_t mp_os_dupterm(size_t n_args, const mp_obj_t *args) {
     if (previous_obj == MP_OBJ_NULL) {
         previous_obj = mp_const_none;
     } else {
-        const mp_stream_p_t *stream_p = mp_get_stream(previous_obj, MP_STREAM_OP_IOCTL);
+        const mp_stream_p_t *stream_p = mp_get_stream_raise(previous_obj, MP_STREAM_OP_IOCTL);
         stream_p->ioctl(previous_obj, MP_STREAM_REPL_ATTACHED, 0, &errcode);
     }
     if (args[0] == mp_const_none) {