diff 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
line wrap: on
line diff
--- a/src/pager.cc	Fri May 16 05:14:34 1997 +0000
+++ b/src/pager.cc	Fri May 16 06:55:52 1997 +0000
@@ -305,7 +305,7 @@
 {
   if (! flushing_output_to_pager)
     {
-      begin_unwind_frame ("flush_octave_stdout");
+      unwind_protect::begin_frame ("flush_octave_stdout");
 
       unwind_protect_int (really_flush_to_pager);
       unwind_protect_int (flushing_output_to_pager);
@@ -318,7 +318,7 @@
       if (external_pager)
 	clear_external_pager ();
 
-      run_unwind_frame ("flush_octave_stdout");
+      unwind_protect::run_frame ("flush_octave_stdout");
     }
 }