annotate src/sighandlers.cc @ 2197:680ce730f0c6

[project @ 1996-05-15 00:03:19 by jwe]
author jwe
date Wed, 15 May 1996 00:04:37 +0000
parents 50739ef482f3
children 9be05ffc288a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
2
1884
e62277bf5fe0 [project @ 1996-02-05 18:17:59 by jwe]
jwe
parents: 1670
diff changeset
3 Copyright (C) 1996 John W. Eaton
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
4
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
5 This file is part of Octave.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
6
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
7 Octave is free software; you can redistribute it and/or modify it
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
9 Free Software Foundation; either version 2, or (at your option) any
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
10 later version.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
11
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
12 Octave is distributed in the hope that it will be useful, but WITHOUT
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
15 for more details.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
16
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
18 along with Octave; see the file COPYING. If not, write to the Free
1315
611d403c7f3d [project @ 1995-06-25 19:56:32 by jwe]
jwe
parents: 1230
diff changeset
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
20
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
21 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
22
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 1
diff changeset
23 #ifdef HAVE_CONFIG_H
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
24 #include <config.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
25 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
26
1343
94bedeb289e5 [project @ 1995-09-04 00:29:21 by jwe]
jwe
parents: 1315
diff changeset
27 #include <csignal>
1344
c2ca372d3279 [project @ 1995-09-04 00:50:16 by jwe]
jwe
parents: 1343
diff changeset
28 #include <new>
c2ca372d3279 [project @ 1995-09-04 00:50:16 by jwe]
jwe
parents: 1343
diff changeset
29
1350
5f63d83dd694 [project @ 1995-09-05 07:37:59 by jwe]
jwe
parents: 1346
diff changeset
30 #include <iostream.h>
5f63d83dd694 [project @ 1995-09-05 07:37:59 by jwe]
jwe
parents: 1346
diff changeset
31
5f63d83dd694 [project @ 1995-09-05 07:37:59 by jwe]
jwe
parents: 1346
diff changeset
32 #ifdef HAVE_UNISTD_H
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
33 #include <sys/types.h>
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
34 #include <unistd.h>
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
35 #endif
1343
94bedeb289e5 [project @ 1995-09-04 00:29:21 by jwe]
jwe
parents: 1315
diff changeset
36
1352
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1350
diff changeset
37 #include "error.h"
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
38 #include "load-save.h"
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
39 #include "pager.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
40 #include "sighandlers.h"
1352
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1350
diff changeset
41 #include "syswait.h"
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
42 #include "toplev.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
43 #include "utils.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
44
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
45 // Nonzero means we have already printed a message for this series of
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
46 // SIGPIPES. We assume that the writer will eventually give up.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
47 int pipe_handler_error_count = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
48
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
49 // Nonzero means we can be interrupted.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
50 int can_interrupt = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
51
2016
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
52 // Allow us to save the signal mask and then restore it to the most
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
53 // recently saved value. This is necessary when using the POSIX
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
54 // signal handling interface on some systems calling longjmp out of
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
55 // the signal handler to get to the top level on an interrupt doesn't
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
56 // restore the original signal mask. Alternatively, we could use
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
57 // sigsetjmp/siglongjmp, but saving and restoring the signal mask
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
58 // ourselves works ok and seems simpler just now.
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
59
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
60 #if defined (HAVE_POSIX_SIGNALS)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
61 static sigset_t octave_signal_mask;
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
62 #endif
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
63
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
64 void
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
65 octave_save_signal_mask (void)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
66 {
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
67 #if defined (HAVE_POSIX_SIGNALS)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
68 sigprocmask (0, 0, &octave_signal_mask);
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
69 #endif
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
70 }
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
71
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
72 void
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
73 octave_restore_signal_mask (void)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
74 {
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
75 #if defined (HAVE_POSIX_SIGNALS)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
76 sigprocmask (SIG_SETMASK, &octave_signal_mask, 0);
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
77 #endif
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
78 }
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
79
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
80 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
81 my_friendly_exit (const char *sig_name, int sig_number)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
82 {
886
05a1e41f2dd4 [project @ 1994-11-06 01:50:53 by jwe]
jwe
parents: 839
diff changeset
83 error ("%s -- stopping myself...", sig_name);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
84
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
85 save_user_variables ();
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
86
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
87 clean_up_and_exit (sig_number);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
88 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
89
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
90 // I know, not really a signal handler.
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
91
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
92 static void
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
93 octave_new_handler (void)
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
94 {
1394
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
95 error ("memory exhausted -- trying to return to prompt");
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
96
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
97 if (can_interrupt)
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
98 {
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
99 jump_to_top_level ();
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
100 panic_impossible ();
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
101 }
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
102 else
1395
b6fe9503c6e1 [project @ 1995-09-14 19:04:35 by jwe]
jwe
parents: 1394
diff changeset
103 my_friendly_exit ("operator new", 1);
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
104 }
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
105
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
106 sig_handler *
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
107 octave_set_signal_handler (int sig, sig_handler *handler)
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
108 {
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
109 #if defined (HAVE_POSIX_SIGNALS)
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
110 struct sigaction act, oact;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
111 act.sa_handler = handler;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
112 act.sa_flags = 0;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
113 sigemptyset (&act.sa_mask);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
114 sigemptyset (&oact.sa_mask);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
115 sigaction (sig, &act, &oact);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
116 return oact.sa_handler;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
117 #else
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
118 return signal (sig, handler);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
119 #endif
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
120 }
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
121
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
122 static RETSIGTYPE
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
123 generic_sig_handler (int sig)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
124 {
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
125 my_friendly_exit (sys_siglist[sig], sig);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
126
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
127 #if RETSIGTYPE == void
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
128 return;
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
129 #else
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
130 return 0;
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
131 #endif
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
132 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
133
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
134 // Handle SIGCHLD.
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
135
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
136 // XXX FIXME XXX -- this should probably be implemented by having a
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
137 // global list of pids to check and a corresponding list of functions
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
138 // to call if a pid is recognized. That way, we just have to register
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
139 // functions elsewhere and this function doesn't have to change.
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
140
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
141 static RETSIGTYPE
2092
a938192ff632 [project @ 1996-04-28 08:36:22 by jwe]
jwe
parents: 2091
diff changeset
142 sigchld_handler (int /* sig */)
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
143 {
2092
a938192ff632 [project @ 1996-04-28 08:36:22 by jwe]
jwe
parents: 2091
diff changeset
144 // Can this ever cause trouble on systems that don't forget signal
a938192ff632 [project @ 1996-04-28 08:36:22 by jwe]
jwe
parents: 2091
diff changeset
145 // handlers when they are invoked?
a938192ff632 [project @ 1996-04-28 08:36:22 by jwe]
jwe
parents: 2091
diff changeset
146
a938192ff632 [project @ 1996-04-28 08:36:22 by jwe]
jwe
parents: 2091
diff changeset
147 octave_set_signal_handler (SIGCHLD, sigchld_handler);
a938192ff632 [project @ 1996-04-28 08:36:22 by jwe]
jwe
parents: 2091
diff changeset
148
2197
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
149 if (octave_pager_pid > 0)
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
150 {
2197
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
151 int status;
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
152 pid_t pid = waitpid (octave_pager_pid, &status, 0);
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
153
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
154 if (pid > 0)
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
155 {
2197
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
156 if (WIFEXITED (status) || WIFSIGNALLED (status))
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
157 {
2197
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
158 octave_pager_pid = -1;
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
159
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
160 // XXX FIXME XXX -- I'm not sure that this is the right
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
161 // thing to do here, but it seems to work.
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
162
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
163 // Don't call error() here because that tries to flush
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
164 // pending output, which isn't going to do anything
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
165 // anyway.
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
166
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
167 cerr << "error: connection to external pager lost --\n";
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
168 cerr << "error: pending computations and output have been discarded\n";
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
169 }
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
170 }
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
171 }
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
172 }
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
173
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
174 #if defined (__alpha__)
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
175 static RETSIGTYPE
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1446
diff changeset
176 sigfpe_handler (int /* sig */)
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
177 {
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
178 // Can this ever cause trouble on systems that don't forget signal
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
179 // handlers when they are invoked?
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
180
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
181 octave_set_signal_handler (SIGFPE, sigfpe_handler);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
182
1394
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
183 error ("floating point exception -- trying to return to prompt");
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
184
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
185 if (can_interrupt)
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
186 {
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
187 jump_to_top_level ();
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
188 panic_impossible ();
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
189 }
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
190
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
191 #if RETSIGTYPE == void
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
192 return;
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
193 #else
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
194 return 0;
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
195 #endif
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
196 }
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
197 #endif
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
198
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
199 // Handle SIGINT by restarting the parser (see octave.cc).
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
200
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
201 static RETSIGTYPE
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1446
diff changeset
202 sigint_handler (int /* sig */)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
203 {
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
204 // Can this ever cause trouble on systems that don't forget signal
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
205 // handlers when they are invoked?
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
206
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
207 octave_set_signal_handler (SIGINT, sigint_handler);
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
208
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
209 if (can_interrupt)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
210 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
211 jump_to_top_level ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
212 panic_impossible ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
213 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
214
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
215 #if RETSIGTYPE == void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
216 return;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
217 #else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
218 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
219 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
220 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
221
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
222 static RETSIGTYPE
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1446
diff changeset
223 sigpipe_handler (int /* sig */)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
224 {
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
225 // Can this ever cause trouble on systems that don't forget signal
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
226 // handlers when they are invoked?
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
227
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
228 octave_set_signal_handler (SIGPIPE, sigpipe_handler);
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
229
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
230 if (pipe_handler_error_count++ == 0)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 240
diff changeset
231 message (0, "broken pipe");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
232
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
233 // Don't loop forever on account of this.
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
234
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
235 if (pipe_handler_error_count > 100)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
236 jump_to_top_level ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
237
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
238 #if RETSIGTYPE == void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
239 return;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
240 #else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
241 return 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
242 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
243 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
244
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
245 void
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
246 catch_interrupts (void)
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
247 {
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
248 octave_set_signal_handler (SIGINT, sigint_handler);
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
249 }
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
250
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
251 // Install all the handlers for the signals we might care about.
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
252
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
253 void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
254 install_signal_handlers (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
255 {
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
256 set_new_handler (octave_new_handler);
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
257
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
258 #ifdef SIGABRT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
259 octave_set_signal_handler (SIGABRT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
260 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
261
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
262 #ifdef SIGALRM
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
263 octave_set_signal_handler (SIGALRM, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
264 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
265
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
266 #ifdef SIGBUS
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
267 octave_set_signal_handler (SIGBUS, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
268 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
269
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
270 #ifdef SIGCHLD
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
271 octave_set_signal_handler (SIGCHLD, sigchld_handler);
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
272 #endif
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
273
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
274 #ifdef SIGEMT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
275 octave_set_signal_handler (SIGEMT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
276 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
277
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
278 #ifdef SIGFPE
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
279 #if defined (__alpha__)
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
280 octave_set_signal_handler (SIGFPE, sigfpe_handler);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
281 #else
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
282 octave_set_signal_handler (SIGFPE, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
283 #endif
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
284 #endif
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
285
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
286 #ifdef SIGHUP
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
287 octave_set_signal_handler (SIGHUP, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
288 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
289
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
290 #ifdef SIGILL
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
291 octave_set_signal_handler (SIGILL, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
292 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
293
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
294 #ifdef SIGINT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
295 octave_set_signal_handler (SIGINT, sigint_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
296 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
297
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
298 #ifdef SIGIOT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
299 octave_set_signal_handler (SIGIOT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
300 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
301
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
302 #ifdef SIGLOST
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
303 octave_set_signal_handler (SIGLOST, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
304 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
305
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
306 #ifdef SIGPIPE
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
307 octave_set_signal_handler (SIGPIPE, sigpipe_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
308 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
309
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
310 #ifdef SIGPOLL
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
311 octave_set_signal_handler (SIGPOLL, SIG_IGN);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
312 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
313
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
314 #ifdef SIGPROF
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
315 octave_set_signal_handler (SIGPROF, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
316 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
317
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
318 #ifdef SIGQUIT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
319 octave_set_signal_handler (SIGQUIT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
320 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
321
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
322 #ifdef SIGSEGV
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
323 octave_set_signal_handler (SIGSEGV, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
324 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
325
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
326 #ifdef SIGSYS
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
327 octave_set_signal_handler (SIGSYS, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
328 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
329
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
330 #ifdef SIGTERM
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
331 octave_set_signal_handler (SIGTERM, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
332 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
333
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
334 #ifdef SIGTRAP
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
335 octave_set_signal_handler (SIGTRAP, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
336 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
337
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
338 #ifdef SIGUSR1
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
339 octave_set_signal_handler (SIGUSR1, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
340 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
341
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
342 #ifdef SIGUSR2
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
343 octave_set_signal_handler (SIGUSR2, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
344 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
345
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
346 #ifdef SIGVTALRM
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
347 octave_set_signal_handler (SIGVTALRM, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
348 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
349
895
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
350 #ifdef SIGIO
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
351 octave_set_signal_handler (SIGIO, SIG_IGN);
895
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
352 #endif
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
353
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
354 #ifdef SIGXCPU
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
355 octave_set_signal_handler (SIGXCPU, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
356 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
357
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
358 #ifdef SIGXFSZ
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
359 octave_set_signal_handler (SIGXFSZ, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
360 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
361 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
362
886
05a1e41f2dd4 [project @ 1994-11-06 01:50:53 by jwe]
jwe
parents: 839
diff changeset
363 #ifndef HAVE_SYS_SIGLIST
839
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
364 char *sys_siglist[NSIG + 1] =
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
365 {
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
366 #ifdef AIX
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
367 /* AIX has changed the signals a bit */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
368 "bogus signal", /* 0 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
369 "hangup", /* 1 SIGHUP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
370 "interrupt", /* 2 SIGINT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
371 "quit", /* 3 SIGQUIT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
372 "illegal instruction", /* 4 SIGILL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
373 "trace trap", /* 5 SIGTRAP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
374 "IOT instruction", /* 6 SIGIOT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
375 "crash likely", /* 7 SIGDANGER */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
376 "floating point exception", /* 8 SIGFPE */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
377 "kill", /* 9 SIGKILL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
378 "bus error", /* 10 SIGBUS */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
379 "segmentation violation", /* 11 SIGSEGV */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
380 "bad argument to system call", /* 12 SIGSYS */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
381 "write on a pipe with no one to read it", /* 13 SIGPIPE */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
382 "alarm clock", /* 14 SIGALRM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
383 "software termination signum", /* 15 SIGTERM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
384 "user defined signal 1", /* 16 SIGUSR1 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
385 "user defined signal 2", /* 17 SIGUSR2 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
386 "death of a child", /* 18 SIGCLD */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
387 "power-fail restart", /* 19 SIGPWR */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
388 "bogus signal", /* 20 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
389 "bogus signal", /* 21 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
390 "bogus signal", /* 22 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
391 "bogus signal", /* 23 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
392 "bogus signal", /* 24 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
393 "LAN I/O interrupt", /* 25 SIGAIO */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
394 "PTY I/O interrupt", /* 26 SIGPTY */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
395 "I/O intervention required", /* 27 SIGIOINT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
396 "HFT grant", /* 28 SIGGRANT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
397 "HFT retract", /* 29 SIGRETRACT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
398 "HFT sound done", /* 30 SIGSOUND */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
399 "HFT input ready", /* 31 SIGMSG */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
400 #else /* not AIX */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
401 "bogus signal", /* 0 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
402 "hangup", /* 1 SIGHUP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
403 "interrupt", /* 2 SIGINT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
404 "quit", /* 3 SIGQUIT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
405 "illegal instruction", /* 4 SIGILL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
406 "trace trap", /* 5 SIGTRAP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
407 "IOT instruction", /* 6 SIGIOT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
408 "EMT instruction", /* 7 SIGEMT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
409 "floating point exception", /* 8 SIGFPE */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
410 "kill", /* 9 SIGKILL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
411 "bus error", /* 10 SIGBUS */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
412 "segmentation violation", /* 11 SIGSEGV */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
413 "bad argument to system call", /* 12 SIGSYS */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
414 "write on a pipe with no one to read it", /* 13 SIGPIPE */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
415 "alarm clock", /* 14 SIGALRM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
416 "software termination signum", /* 15 SIGTERM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
417 "user defined signal 1", /* 16 SIGUSR1 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
418 "user defined signal 2", /* 17 SIGUSR2 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
419 "death of a child", /* 18 SIGCLD */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
420 "power-fail restart", /* 19 SIGPWR */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
421 #ifdef sun
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
422 "window size change", /* 20 SIGWINCH */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
423 "urgent socket condition", /* 21 SIGURG */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
424 "pollable event occured", /* 22 SIGPOLL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
425 "stop (cannot be caught or ignored)", /* 23 SIGSTOP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
426 "user stop requested from tty", /* 24 SIGTSTP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
427 "stopped process has been continued", /* 25 SIGCONT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
428 "background tty read attempted", /* 26 SIGTTIN */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
429 "background tty write attempted", /* 27 SIGTTOU */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
430 "virtual timer expired", /* 28 SIGVTALRM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
431 "profiling timer expired", /* 29 SIGPROF */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
432 "exceeded cpu limit", /* 30 SIGXCPU */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
433 "exceeded file size limit", /* 31 SIGXFSZ */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
434 "process's lwps are blocked", /* 32 SIGWAITING */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
435 "special signal used by thread library", /* 33 SIGLWP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
436 #ifdef SIGFREEZE
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
437 "Special Signal Used By CPR", /* 34 SIGFREEZE */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
438 #endif
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
439 #ifdef SIGTHAW
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
440 "Special Signal Used By CPR", /* 35 SIGTHAW */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
441 #endif
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
442 #endif /* sun */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
443 #endif /* not AIX */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
444 0
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
445 };
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
446 #endif
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
447
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
448 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
449 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
450 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
451 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
452 */