diff src/pager.cc @ 2554:f7e3d23f0a8f

[project @ 1996-11-21 01:41:57 by jwe]
author jwe
date Thu, 21 Nov 1996 01:43:06 +0000
parents 06595bc7f2d0
children 5adf5280858c
line wrap: on
line diff
--- a/src/pager.cc
+++ b/src/pager.cc
@@ -72,7 +72,7 @@
 // through the pager.
 static bool Vpage_screen_output;
 
-static sig_handler *saved_sigint_handler = 0;
+static octave_interrupt_handler *saved_interrupt_handler = 0;
 
 static int really_flush_to_pager = 0;
 
@@ -88,10 +88,10 @@
   delete external_pager;
   external_pager = 0;
 
-  if (saved_sigint_handler)
+  if (saved_interrupt_handler)
     {
-      octave_set_signal_handler (SIGINT, saved_sigint_handler);
-      saved_sigint_handler = 0;
+      octave_set_interrupt_handler (saved_interrupt_handler);
+      saved_interrupt_handler = 0;
     }
 }
 
@@ -136,8 +136,7 @@
 
 	      if (! pgr.empty ())
 		{
-		  saved_sigint_handler
-		    = octave_set_signal_handler (SIGINT, SIG_IGN);
+		  saved_interrupt_handler = octave_ignore_interrupts ();
 
 		  external_pager = new oprocstream (pgr.c_str ());