changeset 1589:3b0b38ef2e2f

[project @ 1995-10-31 08:13:37 by jwe]
author jwe
date Tue, 31 Oct 1995 08:13:37 +0000
parents 27f5ac98fc4a
children 57907c5b9212
files src/pager.cc
diffstat 1 files changed, 15 insertions(+), 12 deletions(-) [+]
line wrap: on
line diff
--- a/src/pager.cc	Tue Oct 31 06:04:47 1995 +0000
+++ b/src/pager.cc	Tue Oct 31 08:13:37 1995 +0000
@@ -107,17 +107,22 @@
 
   char *message = msg_buf.str ();
 
-  if (interactive
-      && user_pref.page_screen_output
-      && user_pref.pager_binary)
+  if (message)
     {
-      *pager_buf << message;
-      delete [] message;
-    }
-  else
-    {
-      cout << message;
-      cout.flush ();
+      maybe_write_to_diary_file (message);
+
+      if (interactive
+	  && user_pref.page_screen_output
+	  && user_pref.pager_binary)
+	{
+	  *pager_buf << message;
+	}
+      else
+	{
+	  cout << message;
+	  cout.flush ();
+	}
+
       delete [] message;
     }
 }
@@ -138,8 +143,6 @@
       return;
     }
 
-  maybe_write_to_diary_file (message);
-
   int nlines = line_count (message);
 
   if (nlines > terminal_rows () - 2)