# HG changeset patch
# User jwe
# Date 815127217 0
# Node ID 3b0b38ef2e2fcf0d972ac4f89e792f1ab9224659
# Parent  27f5ac98fc4a59c6d5016a8e654e82122ca38145
[project @ 1995-10-31 08:13:37 by jwe]

diff --git a/src/pager.cc b/src/pager.cc
--- a/src/pager.cc
+++ b/src/pager.cc
@@ -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)