(handle_inferior_event): Take terminal.

diff --git a/gdb/infrun.c b/gdb/infrun.c
index 8795100ddb15fb7b5e95ece572e5f66dbe8d3671..511391388f5b5d79ba390a4acd8676ece86b16ee 100644 (file)
--- a/gdb/infrun.c
+++ b/gdb/infrun.c
@@ -1693,6 +1693,13 @@ handle_inferior_event (struct execution_control_state *ecs)
       if (deprecated_context_hook)
        deprecated_context_hook (pid_to_thread_id (ecs->ptid));
 
+      if (ui_out_is_mi_like_p (uiout))
+       {
+         target_terminal_ours_for_output ();
+         printf_filtered ("[Switching to %s]\n",
+                          target_pid_or_tid_to_str (inferior_ptid));
+       }
+
       flush_cached_frames ();
     }