# HG changeset patch
# User jwe
# Date 800567669 0
# Node ID f92615001614733b4531e45644ca713921898c4a
# Parent  434cc4304b2033f04d54918185554d695dc2983d
[project @ 1995-05-15 19:54:29 by jwe]

diff -r 434cc4304b20 -r f92615001614 src/pager.cc
--- a/src/pager.cc	Mon May 15 19:49:32 1995 +0000
+++ b/src/pager.cc	Mon May 15 19:54:29 1995 +0000
@@ -50,7 +50,7 @@
 static int write_to_diary_file = 0;
 
 // The name of the current diary file.
-static char *diary_file = "diary";
+static char *diary_file = 0;
 
 // The diary file.
 static ofstream diary_stream;
@@ -202,6 +202,9 @@
 
   DEFINE_ARGV("diary");
 
+  if (! diary_file)
+    diary_file = strsave ("diary");
+
   switch (argc)
     {
     case 1: