comparison 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
comparison
equal deleted inserted replaced
2553:f57c52dcd5ed 2554:f7e3d23f0a8f
70 70
71 // TRUE means all output intended for the screen should be passed 71 // TRUE means all output intended for the screen should be passed
72 // through the pager. 72 // through the pager.
73 static bool Vpage_screen_output; 73 static bool Vpage_screen_output;
74 74
75 static sig_handler *saved_sigint_handler = 0; 75 static octave_interrupt_handler *saved_interrupt_handler = 0;
76 76
77 static int really_flush_to_pager = 0; 77 static int really_flush_to_pager = 0;
78 78
79 static int flushing_output_to_pager = 0; 79 static int flushing_output_to_pager = 0;
80 80
86 octave_pager_pid = -1; 86 octave_pager_pid = -1;
87 87
88 delete external_pager; 88 delete external_pager;
89 external_pager = 0; 89 external_pager = 0;
90 90
91 if (saved_sigint_handler) 91 if (saved_interrupt_handler)
92 { 92 {
93 octave_set_signal_handler (SIGINT, saved_sigint_handler); 93 octave_set_interrupt_handler (saved_interrupt_handler);
94 saved_sigint_handler = 0; 94 saved_interrupt_handler = 0;
95 } 95 }
96 } 96 }
97 97
98 static void 98 static void
99 pager_death_handler (pid_t pid, int status) 99 pager_death_handler (pid_t pid, int status)
134 { 134 {
135 string pgr = Vpager_binary; 135 string pgr = Vpager_binary;
136 136
137 if (! pgr.empty ()) 137 if (! pgr.empty ())
138 { 138 {
139 saved_sigint_handler 139 saved_interrupt_handler = octave_ignore_interrupts ();
140 = octave_set_signal_handler (SIGINT, SIG_IGN);
141 140
142 external_pager = new oprocstream (pgr.c_str ()); 141 external_pager = new oprocstream (pgr.c_str ());
143 142
144 if (external_pager) 143 if (external_pager)
145 { 144 {