comparison 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
comparison
equal deleted inserted replaced
2651:f2310b0b9653 2652:69613a17f51a
127 if (msg && *msg) 127 if (msg && *msg)
128 { 128 {
129 if (bypass_pager) 129 if (bypass_pager)
130 { 130 {
131 cout << msg; 131 cout << msg;
132 132 cout.flush ();
133 if (interactive || forced_interactive)
134 cout.flush ();
135 } 133 }
136 else 134 else
137 { 135 {
138 if (! external_pager) 136 if (! external_pager)
139 { 137 {
172 } 170 }
173 } 171 }
174 else 172 else
175 { 173 {
176 cout << msg; 174 cout << msg;
177 175 cout.flush ();
178 if (interactive || forced_interactive)
179 cout.flush ();
180 } 176 }
181 } 177 }
182 } 178 }
183 } 179 }
184 180