Don't let gdb_stdlog use pager
authorTom Tromey <tromey@adacore.com>
Thu, 17 Nov 2022 17:24:38 +0000 (10:24 -0700)
committerTom Tromey <tromey@adacore.com>
Mon, 28 Nov 2022 20:22:40 +0000 (13:22 -0700)
When using the "set logging" commands, cli_interp_base::set_logging
will send gdb_stdlog output (among others) to the tee it makes for
gdb_stdout.  However, this has the side effect of also causing logging
to use the pager.  This is PR gdb/29787.

This patch fixes the problem by keeping stderr and stdlog separate
from stdout, preserving the rule that only gdb_stdout should page.

Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=29787

gdb/cli/cli-interp.c
gdb/cli/cli-interp.h

index 2e8f6135405e73f8a65ceb294c01140bebf3e3aa..3254efc358159c4de039c7e20578781bad375dc3 100644 (file)
@@ -389,24 +389,28 @@ cli_interp_base::set_logging (ui_file_up logfile, bool logging_redirect,
       ui_file *logfile_p = logfile.get ();
       m_saved_output->file_to_delete = std::move (logfile);
 
-      /* If something is not being redirected, then a tee containing both the
-        logfile and stdout.  */
-      ui_file *tee = nullptr;
-      if (!logging_redirect || !debug_redirect)
+      /* The new stdout and stderr only depend on whether logging
+        redirection is being done.  */
+      ui_file *new_stdout = logfile_p;
+      ui_file *new_stderr = logfile_p;
+      if (!logging_redirect)
        {
          m_saved_output->tee_to_delete.reset
            (new tee_file (gdb_stdout, logfile_p));
-         tee = m_saved_output->tee_to_delete.get ();
+         new_stdout = m_saved_output->tee_to_delete.get ();
+         m_saved_output->stderr_to_delete.reset
+           (new tee_file (gdb_stderr, logfile_p));
+         new_stderr = m_saved_output->stderr_to_delete.get ();
        }
 
       m_saved_output->log_to_delete.reset
-       (new timestamped_file (debug_redirect ? logfile_p : tee));
+       (new timestamped_file (debug_redirect ? logfile_p : new_stderr));
 
-      gdb_stdout = logging_redirect ? logfile_p : tee;
+      gdb_stdout = new_stdout;
       gdb_stdlog = m_saved_output->log_to_delete.get ();
-      gdb_stderr = logging_redirect ? logfile_p : tee;
-      gdb_stdtarg = logging_redirect ? logfile_p : tee;
-      gdb_stdtargerr = logging_redirect ? logfile_p : tee;
+      gdb_stderr = new_stderr;
+      gdb_stdtarg = new_stderr;
+      gdb_stdtargerr = new_stderr;
     }
   else
     {
index fa007d78621c501dae7e675345833cc38bb7e695..978e7f291e4064f05828cd3d5d0823df6336e154 100644 (file)
@@ -42,6 +42,7 @@ private:
     ui_file *targ;
     ui_file *targerr;
     ui_file_up tee_to_delete;
+    ui_file_up stderr_to_delete;
     ui_file_up file_to_delete;
     ui_file_up log_to_delete;
   };