comparison src/pager.cc @ 2985:aa9d0c0e0458

[project @ 1997-05-16 06:54:18 by jwe]
author jwe
date Fri, 16 May 1997 06:55:52 +0000
parents 66ef74ee5d9f
children 38de16594cb4
comparison
equal deleted inserted replaced
2984:84c33881d0bc 2985:aa9d0c0e0458
303 void 303 void
304 flush_octave_stdout (void) 304 flush_octave_stdout (void)
305 { 305 {
306 if (! flushing_output_to_pager) 306 if (! flushing_output_to_pager)
307 { 307 {
308 begin_unwind_frame ("flush_octave_stdout"); 308 unwind_protect::begin_frame ("flush_octave_stdout");
309 309
310 unwind_protect_int (really_flush_to_pager); 310 unwind_protect_int (really_flush_to_pager);
311 unwind_protect_int (flushing_output_to_pager); 311 unwind_protect_int (flushing_output_to_pager);
312 312
313 really_flush_to_pager = 1; 313 really_flush_to_pager = 1;
316 octave_stdout.flush (); 316 octave_stdout.flush ();
317 317
318 if (external_pager) 318 if (external_pager)
319 clear_external_pager (); 319 clear_external_pager ();
320 320
321 run_unwind_frame ("flush_octave_stdout"); 321 unwind_protect::run_frame ("flush_octave_stdout");
322 } 322 }
323 } 323 }
324 324
325 static void 325 static void
326 close_diary_file (void) 326 close_diary_file (void)