diff src/pager.cc @ 2652:69613a17f51a

[project @ 1997-01-31 20:30:22 by jwe]
author jwe
date Fri, 31 Jan 1997 20:30:22 +0000
parents 5adf5280858c
children 18395aaeafb7
line wrap: on
line diff
--- 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 ();
 	    }
 	}
     }