changeset 990:d2dd114ba5dd

[project @ 1994-12-15 05:58:17 by jwe]
author jwe
date Thu, 15 Dec 1994 05:58:17 +0000
parents afb9c5c14ed3
children 18be848f10a9
files src/pager.cc
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/pager.cc
+++ b/src/pager.cc
@@ -25,6 +25,7 @@
 #include "config.h"
 #endif
 
+#include <signal.h>
 #include <iostream.h>
 #include <strstream.h>
 #include <fstream.h>
@@ -32,6 +33,7 @@
 
 #include "procstream.h"
 
+#include "sighandlers.h"
 #include "user-prefs.h"
 #include "oct-obj.h"
 #include "error.h"
@@ -144,9 +146,15 @@
 	  oprocstream pager_stream (pgr);
 	  if (pager_stream)
 	    {
+	      volatile sig_handler *old_sigint_handler;
+	      old_sigint_handler = signal (SIGINT, SIG_IGN);
+
 	      pager_stream << message;
 	      delete [] message;
 	      pager_stream.flush ();
+
+	      signal (SIGINT, old_sigint_handler);
+
 	      return;
 	    }
 	}