changeset 2652:69613a17f51a

[project @ 1997-01-31 20:30:22 by jwe]
author jwe
date Fri, 31 Jan 1997 20:30:22 +0000
parents f2310b0b9653
children e7908588548a
files src/ChangeLog src/pager.cc
diffstat 2 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/src/ChangeLog	Fri Jan 31 16:20:17 1997 +0000
+++ b/src/ChangeLog	Fri Jan 31 20:30:22 1997 +0000
@@ -1,3 +1,7 @@
+Fri Jan 31 13:55:10 1997  John W. Eaton  <jwe@bevo.che.wisc.edu>
+
+	* pager.cc (do_sync): Always flush the cout stream after writing.
+
 Wed Jan 29 08:25:29 1997  John W. Eaton  <jwe@bevo.che.wisc.edu>
 
 	* defaults.cc (exec_path): Don't include bin_dir in std_path.
--- a/src/pager.cc	Fri Jan 31 16:20:17 1997 +0000
+++ b/src/pager.cc	Fri Jan 31 20:30:22 1997 +0000
@@ -129,9 +129,7 @@
       if (bypass_pager)
 	{
 	  cout << msg;
-
-	  if (interactive || forced_interactive)
-	    cout.flush ();
+	  cout.flush ();
 	}
       else
 	{
@@ -174,9 +172,7 @@
 	  else
 	    {
 	      cout << msg;
-
-	      if (interactive || forced_interactive)
-		cout.flush ();
+	      cout.flush ();
 	    }
 	}
     }