diff options
Diffstat (limited to 'gdb/cli/cli-logging.c')
| -rw-r--r-- | gdb/cli/cli-logging.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gdb/cli/cli-logging.c b/gdb/cli/cli-logging.c index 7d340c1..c282260 100644 --- a/gdb/cli/cli-logging.c +++ b/gdb/cli/cli-logging.c @@ -177,7 +177,9 @@ pop_output_files (void) saved_output.targ = NULL; saved_output.targerr = NULL; - ui_out_redirect (current_uiout, NULL); + /* Stay consistent with handle_redirections. */ + if (!ui_out_is_mi_like_p (current_uiout)) + ui_out_redirect (current_uiout, NULL); } /* This is a helper for the `set logging' command. */ |