diff src/pager.cc @ 2646:5adf5280858c

[project @ 1997-01-29 18:59:41 by jwe]
author jwe
date Wed, 29 Jan 1997 19:00:11 +0000
parents f7e3d23f0a8f
children 69613a17f51a
line wrap: on
line diff
--- a/src/pager.cc	Wed Jan 29 17:51:39 1997 +0000
+++ b/src/pager.cc	Wed Jan 29 19:00:11 1997 +0000
@@ -127,7 +127,12 @@
   if (msg && *msg)
     {
       if (bypass_pager)
-	cout << msg;
+	{
+	  cout << msg;
+
+	  if (interactive || forced_interactive)
+	    cout.flush ();
+	}
       else
 	{
 	  if (! external_pager)
@@ -167,7 +172,12 @@
 		}
 	    }
 	  else
-	    cout << msg;
+	    {
+	      cout << msg;
+
+	      if (interactive || forced_interactive)
+		cout.flush ();
+	    }
 	}
     }
 }