diff src/help.cc @ 1443:cd6c9be7337c

[project @ 1995-09-19 21:54:56 by jwe]
author jwe
date Tue, 19 Sep 1995 21:58:28 +0000
parents dc9c01f66a19
children 2f85a175308f
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -545,11 +545,11 @@
   cmd_str = cmd_buf.str ();
 
   volatile sig_handler *old_sigint_handler;
-  old_sigint_handler = signal (SIGINT, SIG_IGN);
+  old_sigint_handler = octave_set_signal_handler (SIGINT, SIG_IGN);
 
   status = system (cmd_str);
 
-  signal (SIGINT, old_sigint_handler);
+  octave_set_signal_handler (SIGINT, old_sigint_handler);
 
   if ((status & 0xff) == 0)
     status = (signed char) ((status & 0xff00) >> 8);