annotate src/sighandlers.cc @ 2693:f4d0604cbcc4

[project @ 1997-02-18 15:25:21 by jwe]
author jwe
date Tue, 18 Feb 1997 15:25:23 +0000
parents b35a5cd8107f
children 18395aaeafb7
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
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
27 #include <cstdlib>
1343
94bedeb289e5 [project @ 1995-09-04 00:29:21 by jwe]
jwe
parents: 1315
diff changeset
28 #include <csignal>
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
29
1344
c2ca372d3279 [project @ 1995-09-04 00:50:16 by jwe]
jwe
parents: 1343
diff changeset
30 #include <new>
c2ca372d3279 [project @ 1995-09-04 00:50:16 by jwe]
jwe
parents: 1343
diff changeset
31
1350
5f63d83dd694 [project @ 1995-09-05 07:37:59 by jwe]
jwe
parents: 1346
diff changeset
32 #include <iostream.h>
5f63d83dd694 [project @ 1995-09-05 07:37:59 by jwe]
jwe
parents: 1346
diff changeset
33
5f63d83dd694 [project @ 1995-09-05 07:37:59 by jwe]
jwe
parents: 1346
diff changeset
34 #ifdef HAVE_UNISTD_H
2442
f667d7ec08b9 [project @ 1996-10-30 18:46:22 by jwe]
jwe
parents: 2431
diff changeset
35 #ifdef HAVE_SYS_TYPES_H
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
36 #include <sys/types.h>
2442
f667d7ec08b9 [project @ 1996-10-30 18:46:22 by jwe]
jwe
parents: 2431
diff changeset
37 #endif
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
38 #include <unistd.h>
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
39 #endif
1343
94bedeb289e5 [project @ 1995-09-04 00:29:21 by jwe]
jwe
parents: 1315
diff changeset
40
1352
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1350
diff changeset
41 #include "error.h"
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
42 #include "load-save.h"
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
43 #include "pager.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
44 #include "sighandlers.h"
1352
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1350
diff changeset
45 #include "syswait.h"
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
46 #include "toplev.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
47 #include "utils.h"
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 have already printed a message for this series of
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
50 // SIGPIPES. We assume that the writer will eventually give up.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
51 int pipe_handler_error_count = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
52
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
53 // Nonzero means we can be interrupted.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
54 int can_interrupt = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
55
2016
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
56 // 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
57 // 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
58 // 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
59 // 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
60 // restore the original signal mask. Alternatively, we could use
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
61 // sigsetjmp/siglongjmp, but saving and restoring the signal mask
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
62 // ourselves works ok and seems simpler just now.
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 #if defined (HAVE_POSIX_SIGNALS)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
65 static sigset_t octave_signal_mask;
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
66 #endif
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
67
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
68 #if RETSIGTYPE == void
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
69 #define SIGHANDLER_RETURN(status) return
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
70 #else
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
71 #define SIGHANDLER_RETURN(status) return status
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
72 #endif
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
73
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
74 #if defined (MUST_REINSTALL_SIGHANDLERS)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
75 #define MAYBE_REINSTALL_SIGHANDLER(sig, handler) \
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
76 octave_set_signal_handler (sig, handler)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
77 #else
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
78 #define MAYBE_REINSTALL_SIGHANDLER(sig, handler) \
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
79 do { } while (0)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
80 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
81
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
82 #if defined (__EMX__)
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
83 #define MAYBE_ACK_SIGNAL(sig) \
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
84 octave_set_signal_handler (sig, SIG_ACK)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
85 #else
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
86 #define MAYBE_ACK_SIGNAL(sig) \
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
87 do { } while (0)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
88 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
89
2016
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
90 void
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
91 octave_save_signal_mask (void)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
92 {
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
93 #if defined (HAVE_POSIX_SIGNALS)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
94 sigprocmask (0, 0, &octave_signal_mask);
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
95 #endif
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
96 }
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
97
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
98 void
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
99 octave_restore_signal_mask (void)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
100 {
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
101 #if defined (HAVE_POSIX_SIGNALS)
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
102 sigprocmask (SIG_SETMASK, &octave_signal_mask, 0);
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
103 #endif
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
104 }
6f3428b0d2c7 [project @ 1996-03-22 09:48:38 by jwe]
jwe
parents: 1996
diff changeset
105
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
106 struct
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
107 octave_interrupt_handler
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
108 {
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
109 #ifdef SIGINT
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
110 sig_handler *int_handler;
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
111 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
112
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
113 #ifdef SIGBREAK
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
114 sig_handler *brk_handler;
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
115 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
116 };
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
117
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
118 static octave_interrupt_handler the_interrupt_handler;
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
119
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
120 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
121 my_friendly_exit (const char *sig_name, int sig_number)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
122 {
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
123 static bool been_there_done_that = false;
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
124
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
125 if (been_there_done_that)
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
126 {
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
127 #if defined (SIGABRT)
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
128 octave_set_signal_handler (SIGABRT, SIG_DFL);
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
129 #endif
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
130
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
131 error ("attempted clean up seems to have failed -- aborting...");
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
132
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
133 abort ();
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
134 }
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
135 else
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
136 {
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
137 been_there_done_that = true;
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
138
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
139 error ("%s -- stopping myself...", sig_name);
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
140
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
141 save_user_variables ();
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
142
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
143 clean_up_and_exit (sig_number);
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
144 }
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
145 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
146
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
147 // I know, not really a signal handler.
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
148
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
149 static void
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
150 octave_new_handler (void)
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
151 {
1394
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
152 error ("memory exhausted -- trying to return to prompt");
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
153
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
154 if (can_interrupt)
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
155 {
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
156 jump_to_top_level ();
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
157 panic_impossible ();
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
158 }
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
159 else
1395
b6fe9503c6e1 [project @ 1995-09-14 19:04:35 by jwe]
jwe
parents: 1394
diff changeset
160 my_friendly_exit ("operator new", 1);
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
161 }
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
162
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
163 sig_handler *
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
164 octave_set_signal_handler (int sig, sig_handler *handler)
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
165 {
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
166 #if defined (HAVE_POSIX_SIGNALS)
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
167 struct sigaction act, oact;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
168 act.sa_handler = handler;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
169 act.sa_flags = 0;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
170 sigemptyset (&act.sa_mask);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
171 sigemptyset (&oact.sa_mask);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
172 sigaction (sig, &act, &oact);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
173 return oact.sa_handler;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
174 #else
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
175 return signal (sig, handler);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
176 #endif
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
177 }
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
178
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
179 static RETSIGTYPE
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
180 generic_sig_handler (int sig)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
181 {
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
182 my_friendly_exit (sys_siglist[sig], sig);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
183
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
184 SIGHANDLER_RETURN (0);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
185 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
186
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
187 // Handle SIGCHLD.
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
188
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
189 static RETSIGTYPE
2092
a938192ff632 [project @ 1996-04-28 08:36:22 by jwe]
jwe
parents: 2091
diff changeset
190 sigchld_handler (int /* sig */)
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
191 {
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
192 volatile octave_interrupt_handler *saved_interrupt_handler
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
193 = octave_ignore_interrupts ();
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
194
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
195 // I wonder if this is really right, or if SIGCHLD should just be
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
196 // blocked on OS/2 systems the same as for systems with POSIX signal
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
197 // functions.
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
198
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
199 #if defined (__EMX__)
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
200 volatile sig_handler *saved_sigchld_handler
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
201 = octave_set_signal_handler (SIGCHLD, SIG_IGN);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
202 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
203
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
204 sigset_t set, oset;
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
205
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
206 BLOCK_CHILD (set, oset);
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
207
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
208 int n = octave_child_list::length ();
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
209
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
210 if (n == 0)
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
211 {
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
212 waitpid (-1, 0, WNOHANG);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
213 }
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
214 else
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
215 {
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
216 for (int i = 0; i < n; i++)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
217 {
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
218 octave_child& elt = octave_child_list::elem (i);
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
219
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
220 pid_t pid = elt.pid;
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
221
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
222 if (pid > 0)
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
223 {
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
224 int status;
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
225
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
226 if (waitpid (pid, &status, WNOHANG) > 0)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
227 {
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
228 elt.pid = -1;
2197
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
229
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
230 octave_child::dead_child_handler f = elt.handler;
2197
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
231
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
232 if (f)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
233 f (pid, status);
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
234
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
235 break;
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
236 }
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
237 }
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
238 }
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
239 }
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
240
2600
c454cd888ada [project @ 1996-12-19 22:35:54 by jwe]
jwe
parents: 2554
diff changeset
241 octave_set_interrupt_handler (saved_interrupt_handler);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
242
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
243 UNBLOCK_CHILD (oset);
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
244
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
245 #ifdef __EMX__
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
246 octave_set_signal_handler (SIGCHLD, saved_sigchld_handler);
2475
1d7925d6bede [project @ 1996-11-07 04:36:00 by jwe]
jwe
parents: 2469
diff changeset
247 #endif
1d7925d6bede [project @ 1996-11-07 04:36:00 by jwe]
jwe
parents: 2469
diff changeset
248
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
249 MAYBE_ACK_SIGNAL (SIGCHLD);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
250
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
251 MAYBE_REINSTALL_SIGHANDLER (SIGCHLD, sigchld_handler);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
252
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
253 SIGHANDLER_RETURN (0);
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
254 }
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
255
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
256 #if defined (__alpha__)
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
257 static RETSIGTYPE
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1446
diff changeset
258 sigfpe_handler (int /* sig */)
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
259 {
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
260 MAYBE_ACK_SIGNAL (SIGFPE);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
261
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
262 MAYBE_REINSTALL_SIGHANDLER (SIGFPE, sigfpe_handler);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
263
1394
a45089a6ea41 [project @ 1995-09-14 19:00:24 by jwe]
jwe
parents: 1373
diff changeset
264 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
265
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
266 if (can_interrupt)
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
267 {
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
268 jump_to_top_level ();
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
269 panic_impossible ();
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
270 }
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
271
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
272 SIGHANDLER_RETURN (0);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
273 }
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
274 #endif
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
275
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
276 // Handle SIGINT by restarting the parser (see octave.cc).
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
277 //
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
278 // This also has to work for SIGBREAK (on systems that have it), so we
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
279 // use the value of sig, instead of just assuming that it is called
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
280 // for SIGINT only.
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
281
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
282 static RETSIGTYPE
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
283 sigint_handler (int sig)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
284 {
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
285 MAYBE_ACK_SIGNAL (sig);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
286
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
287 MAYBE_REINSTALL_SIGHANDLER (sig, sigint_handler);
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
288
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
289 if (can_interrupt)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
290 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
291 jump_to_top_level ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
292 panic_impossible ();
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
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
295 SIGHANDLER_RETURN (0);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
296 }
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 static RETSIGTYPE
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1446
diff changeset
299 sigpipe_handler (int /* sig */)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
300 {
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
301 MAYBE_ACK_SIGNAL (SIGPIPE);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
302
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
303 MAYBE_REINSTALL_SIGHANDLER (SIGPIPE, sigpipe_handler);
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
304
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
305 if (pipe_handler_error_count++ == 0)
2206
9be05ffc288a [project @ 1996-05-15 07:32:58 by jwe]
jwe
parents: 2197
diff changeset
306 warning ("broken pipe");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
307
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
308 // Don't loop forever on account of this.
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
309
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
310 if (pipe_handler_error_count > 100)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
311 jump_to_top_level ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
312
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
313 SIGHANDLER_RETURN (0);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
314 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
315
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
316 void
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
317 octave_catch_interrupts (void)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
318 {
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
319 #ifdef SIGINT
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
320 octave_set_signal_handler (SIGINT, sigint_handler);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
321
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
322 the_interrupt_handler.int_handler = sigint_handler;
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
323 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
324
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
325 #ifdef SIGBREAK
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
326 octave_set_signal_handler (SIGBREAK, sigint_handler);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
327
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
328 the_interrupt_handler.brk_handler = sigint_handler;
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
329 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
330 }
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
331
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
332 octave_interrupt_handler *
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
333 octave_ignore_interrupts (void)
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
334 {
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
335 #ifdef SIGINT
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
336 the_interrupt_handler.int_handler
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
337 = octave_set_signal_handler (SIGINT, SIG_IGN);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
338 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
339
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
340 #ifdef SIGBREAK
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
341 the_interrupt_handler.int_handler
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
342 = octave_set_signal_handler (SIGBREAK, SIG_IGN);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
343 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
344
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
345 return &the_interrupt_handler;
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
346 }
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
347
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
348 octave_interrupt_handler *
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
349 octave_set_interrupt_handler (const volatile octave_interrupt_handler *h)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
350 {
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
351 if (h)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
352 {
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
353 #ifdef SIGINT
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
354 the_interrupt_handler.int_handler
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
355 = octave_set_signal_handler (SIGINT, h->int_handler);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
356 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
357
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
358 #ifdef SIGBREAK
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
359 the_interrupt_handler.int_handler
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
360 = octave_set_signal_handler (SIGBREAK, h->brk_handler);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
361 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
362 }
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
363
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
364 return &the_interrupt_handler;
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
365 }
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
366
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
367 // 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
368
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
369 void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
370 install_signal_handlers (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
371 {
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
372 set_new_handler (octave_new_handler);
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
373
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
374 octave_catch_interrupts ();
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
375
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
376 #ifdef SIGABRT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
377 octave_set_signal_handler (SIGABRT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
378 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
379
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
380 #ifdef SIGALRM
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
381 octave_set_signal_handler (SIGALRM, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
382 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
383
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
384 #ifdef SIGBUS
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
385 octave_set_signal_handler (SIGBUS, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
386 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
387
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
388 #ifdef SIGCHLD
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
389 octave_set_signal_handler (SIGCHLD, sigchld_handler);
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
390 #endif
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
391
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
392 #ifdef SIGEMT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
393 octave_set_signal_handler (SIGEMT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
394 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
395
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
396 #ifdef SIGFPE
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
397 #if defined (__alpha__)
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
398 octave_set_signal_handler (SIGFPE, sigfpe_handler);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
399 #else
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
400 octave_set_signal_handler (SIGFPE, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
401 #endif
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
402 #endif
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
403
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
404 #ifdef SIGHUP
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
405 octave_set_signal_handler (SIGHUP, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
406 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
407
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
408 #ifdef SIGILL
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
409 octave_set_signal_handler (SIGILL, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
410 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
411
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
412 #ifdef SIGIOT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
413 octave_set_signal_handler (SIGIOT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
414 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
415
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
416 #ifdef SIGLOST
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
417 octave_set_signal_handler (SIGLOST, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
418 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
419
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
420 #ifdef SIGPIPE
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
421 octave_set_signal_handler (SIGPIPE, sigpipe_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
422 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
423
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
424 #ifdef SIGPOLL
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
425 octave_set_signal_handler (SIGPOLL, SIG_IGN);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
426 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
427
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
428 #ifdef SIGPROF
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
429 octave_set_signal_handler (SIGPROF, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
430 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
431
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
432 #ifdef SIGQUIT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
433 octave_set_signal_handler (SIGQUIT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
434 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
435
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
436 #ifdef SIGSEGV
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
437 octave_set_signal_handler (SIGSEGV, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
438 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
439
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
440 #ifdef SIGSYS
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
441 octave_set_signal_handler (SIGSYS, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
442 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
443
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
444 #ifdef SIGTERM
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
445 octave_set_signal_handler (SIGTERM, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
446 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
447
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
448 #ifdef SIGTRAP
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
449 octave_set_signal_handler (SIGTRAP, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
450 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
451
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
452 #ifdef SIGUSR1
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
453 octave_set_signal_handler (SIGUSR1, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
454 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
455
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
456 #ifdef SIGUSR2
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
457 octave_set_signal_handler (SIGUSR2, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
458 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
459
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
460 #ifdef SIGVTALRM
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
461 octave_set_signal_handler (SIGVTALRM, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
462 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
463
895
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
464 #ifdef SIGIO
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
465 octave_set_signal_handler (SIGIO, SIG_IGN);
895
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
466 #endif
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
467
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
468 #ifdef SIGXCPU
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
469 octave_set_signal_handler (SIGXCPU, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
470 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
471
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
472 #ifdef SIGXFSZ
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
473 octave_set_signal_handler (SIGXFSZ, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
474 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
475 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
476
886
05a1e41f2dd4 [project @ 1994-11-06 01:50:53 by jwe]
jwe
parents: 839
diff changeset
477 #ifndef HAVE_SYS_SIGLIST
839
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
478 char *sys_siglist[NSIG + 1] =
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
479 {
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
480 #ifdef AIX
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
481 /* AIX has changed the signals a bit */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
482 "bogus signal", /* 0 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
483 "hangup", /* 1 SIGHUP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
484 "interrupt", /* 2 SIGINT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
485 "quit", /* 3 SIGQUIT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
486 "illegal instruction", /* 4 SIGILL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
487 "trace trap", /* 5 SIGTRAP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
488 "IOT instruction", /* 6 SIGIOT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
489 "crash likely", /* 7 SIGDANGER */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
490 "floating point exception", /* 8 SIGFPE */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
491 "kill", /* 9 SIGKILL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
492 "bus error", /* 10 SIGBUS */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
493 "segmentation violation", /* 11 SIGSEGV */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
494 "bad argument to system call", /* 12 SIGSYS */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
495 "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
496 "alarm clock", /* 14 SIGALRM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
497 "software termination signum", /* 15 SIGTERM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
498 "user defined signal 1", /* 16 SIGUSR1 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
499 "user defined signal 2", /* 17 SIGUSR2 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
500 "death of a child", /* 18 SIGCLD */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
501 "power-fail restart", /* 19 SIGPWR */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
502 "bogus signal", /* 20 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
503 "bogus signal", /* 21 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
504 "bogus signal", /* 22 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
505 "bogus signal", /* 23 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
506 "bogus signal", /* 24 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
507 "LAN I/O interrupt", /* 25 SIGAIO */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
508 "PTY I/O interrupt", /* 26 SIGPTY */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
509 "I/O intervention required", /* 27 SIGIOINT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
510 "HFT grant", /* 28 SIGGRANT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
511 "HFT retract", /* 29 SIGRETRACT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
512 "HFT sound done", /* 30 SIGSOUND */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
513 "HFT input ready", /* 31 SIGMSG */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
514 #else /* not AIX */
2512
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
515 #ifdef __EMX__
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
516 "bogus signal #0", /* 0 */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
517 "hangup", /* 1 SIGHUP */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
518 "interrupt (Ctrl-C)", /* 2 SIGINT (Ctrl-C) */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
519 "quit", /* 3 SIGQUIT */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
520 "illegal instruction", /* 4 SIGILL */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
521 "single step", /* 5 SIGTRAP */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
522 "abort", /* 6 SIGABRT */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
523 "EMT instruction", /* 7 SIGEMT */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
524 "floating point exception", /* 8 SIGFPE */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
525 "kill", /* 9 SIGKILL */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
526 "bus error", /* 10 SIGBUS */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
527 "segmentation violation", /* 11 SIGSEGV */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
528 "bad argument to system call", /* 12 SIGSYS */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
529 "broken pipe", /* 13 SIGPIPE */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
530 "alarm clock", /* 14 SIGALRM */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
531 "software termination signum", /* 15 SIGTERM */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
532 "user defined signal 1", /* 16 SIGUSR1 */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
533 "user defined signal 2", /* 17 SIGUSR2 */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
534 "death of a child", /* 18 SIGCHLD */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
535 "bogus signal #20", /* 19 */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
536 "bogus signal #21", /* 20 */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
537 "break (Ctrl-Break)", /* 21 SIGBREAK */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
538 #else /* not __EMX__ */
839
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
539 "bogus signal", /* 0 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
540 "hangup", /* 1 SIGHUP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
541 "interrupt", /* 2 SIGINT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
542 "quit", /* 3 SIGQUIT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
543 "illegal instruction", /* 4 SIGILL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
544 "trace trap", /* 5 SIGTRAP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
545 "IOT instruction", /* 6 SIGIOT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
546 "EMT instruction", /* 7 SIGEMT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
547 "floating point exception", /* 8 SIGFPE */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
548 "kill", /* 9 SIGKILL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
549 "bus error", /* 10 SIGBUS */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
550 "segmentation violation", /* 11 SIGSEGV */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
551 "bad argument to system call", /* 12 SIGSYS */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
552 "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
553 "alarm clock", /* 14 SIGALRM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
554 "software termination signum", /* 15 SIGTERM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
555 "user defined signal 1", /* 16 SIGUSR1 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
556 "user defined signal 2", /* 17 SIGUSR2 */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
557 "death of a child", /* 18 SIGCLD */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
558 "power-fail restart", /* 19 SIGPWR */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
559 #ifdef sun
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
560 "window size change", /* 20 SIGWINCH */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
561 "urgent socket condition", /* 21 SIGURG */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
562 "pollable event occured", /* 22 SIGPOLL */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
563 "stop (cannot be caught or ignored)", /* 23 SIGSTOP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
564 "user stop requested from tty", /* 24 SIGTSTP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
565 "stopped process has been continued", /* 25 SIGCONT */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
566 "background tty read attempted", /* 26 SIGTTIN */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
567 "background tty write attempted", /* 27 SIGTTOU */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
568 "virtual timer expired", /* 28 SIGVTALRM */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
569 "profiling timer expired", /* 29 SIGPROF */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
570 "exceeded cpu limit", /* 30 SIGXCPU */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
571 "exceeded file size limit", /* 31 SIGXFSZ */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
572 "process's lwps are blocked", /* 32 SIGWAITING */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
573 "special signal used by thread library", /* 33 SIGLWP */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
574 #ifdef SIGFREEZE
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
575 "Special Signal Used By CPR", /* 34 SIGFREEZE */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
576 #endif
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
577 #ifdef SIGTHAW
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
578 "Special Signal Used By CPR", /* 35 SIGTHAW */
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
579 #endif
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
580 #endif /* sun */
2512
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
581 #endif /* __EMX__ */
fda09c1e787e [project @ 1996-11-14 08:39:41 by jwe]
jwe
parents: 2475
diff changeset
582 #endif /* AIX */
839
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
583 0
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
584 };
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
585 #endif
b8530da02bb7 [project @ 1994-10-19 21:44:00 by jwe]
jwe
parents: 834
diff changeset
586
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
587 octave_child_list *octave_child_list::instance = 0;
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
588
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
589 void
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
590 octave_child_list::do_insert (pid_t pid, octave_child::dead_child_handler f)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
591 {
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
592 // Insert item in first open slot, increasing size of list if
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
593 // necessary.
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
594
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
595 bool enlarge = true;
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
596
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
597 for (int i = 0; i < curr_len; i++)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
598 {
2305
5a3f1d00a474 [project @ 1996-07-09 16:20:40 by jwe]
jwe
parents: 2210
diff changeset
599 octave_child& tmp = list (i);
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
600
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
601 if (tmp.pid < 0)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
602 {
2305
5a3f1d00a474 [project @ 1996-07-09 16:20:40 by jwe]
jwe
parents: 2210
diff changeset
603 list (i) = octave_child (pid, f);
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
604 enlarge = false;
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
605 break;
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
606 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
607 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
608
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
609 if (enlarge)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
610 {
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
611 int total_len = list.length ();
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
612
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
613 if (curr_len == total_len)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
614 {
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
615 if (total_len == 0)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
616 list.resize (16);
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
617 else
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
618 list.resize (total_len * 2);
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
619 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
620
2305
5a3f1d00a474 [project @ 1996-07-09 16:20:40 by jwe]
jwe
parents: 2210
diff changeset
621 list (curr_len) = octave_child (pid, f);
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
622 curr_len++;
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
623 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
624 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
625
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
626 void
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
627 octave_child_list::insert (pid_t pid, octave_child::dead_child_handler f)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
628 {
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
629 if (! instance)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
630 instance = new octave_child_list ();
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
631
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
632 if (instance)
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
633 instance->do_insert (pid, f);
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
634 else
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
635 panic_impossible ();
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
636 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
637
2210
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
638 void
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
639 octave_child_list::do_remove (pid_t pid)
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
640 {
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
641 // Mark the record for PID invalid.
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
642
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
643 for (int i = 0; i < curr_len; i++)
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
644 {
2305
5a3f1d00a474 [project @ 1996-07-09 16:20:40 by jwe]
jwe
parents: 2210
diff changeset
645 octave_child& tmp = list (i);
2210
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
646
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
647 if (tmp.pid == pid)
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
648 {
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
649 tmp.pid = -1;
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
650 break;
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
651 }
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
652 }
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
653 }
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
654
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
655 void
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
656 octave_child_list::remove (pid_t pid)
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
657 {
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
658 if (! instance)
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
659 instance = new octave_child_list ();
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
660
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
661 if (instance)
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
662 instance->do_remove (pid);
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
663 else
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
664 panic_impossible ();
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
665 }
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
666
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
667 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
668 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
669 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
670 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
671 */