annotate src/sighandlers.cc @ 5451:ed08548b9054

[project @ 2005-09-15 19:52:50 by jwe]
author jwe
date Thu, 15 Sep 2005 19:52:50 +0000
parents ac8d64b9e76a
children 89f5979e8552
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
2847
8b262e771614 [project @ 1997-03-27 16:18:26 by jwe]
jwe
parents: 2795
diff changeset
3 Copyright (C) 1996, 1997 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
5307
4c8a2e4e0717 [project @ 2005-04-26 19:24:27 by jwe]
jwe
parents: 5144
diff changeset
19 Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
4c8a2e4e0717 [project @ 2005-04-26 19:24:27 by jwe]
jwe
parents: 5144
diff changeset
20 02110-1301, USA.
1
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 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
23
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 1
diff changeset
24 #ifdef HAVE_CONFIG_H
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
25 #include <config.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
26 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
27
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
28 #include <cstdlib>
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
29
3503
d14c483b3c12 [project @ 2000-02-01 04:06:07 by jwe]
jwe
parents: 3343
diff changeset
30 #include <iostream>
1344
c2ca372d3279 [project @ 1995-09-04 00:50:16 by jwe]
jwe
parents: 1343
diff changeset
31 #include <new>
c2ca372d3279 [project @ 1995-09-04 00:50:16 by jwe]
jwe
parents: 1343
diff changeset
32
1350
5f63d83dd694 [project @ 1995-09-05 07:37:59 by jwe]
jwe
parents: 1346
diff changeset
33 #ifdef HAVE_UNISTD_H
2442
f667d7ec08b9 [project @ 1996-10-30 18:46:22 by jwe]
jwe
parents: 2431
diff changeset
34 #ifdef HAVE_SYS_TYPES_H
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
35 #include <sys/types.h>
2442
f667d7ec08b9 [project @ 1996-10-30 18:46:22 by jwe]
jwe
parents: 2431
diff changeset
36 #endif
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
37 #include <unistd.h>
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
38 #endif
1343
94bedeb289e5 [project @ 1995-09-04 00:29:21 by jwe]
jwe
parents: 1315
diff changeset
39
3281
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
40 #include "cmd-edit.h"
4153
6b96ce9f5743 [project @ 2002-11-06 20:38:49 by jwe]
jwe
parents: 4092
diff changeset
41 #include "quit.h"
3281
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
42
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
43 #include "defun.h"
1352
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1350
diff changeset
44 #include "error.h"
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
45 #include "load-save.h"
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
46 #include "oct-map.h"
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
47 #include "pager.h"
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
48 #include "pt-bp.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
49 #include "sighandlers.h"
4787
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
50 #include "sysdep.h"
1352
19c10b8657d5 [project @ 1995-09-05 08:11:57 by jwe]
jwe
parents: 1350
diff changeset
51 #include "syswait.h"
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
52 #include "toplev.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
53 #include "utils.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
54
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
55 // 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
56 // SIGPIPES. We assume that the writer will eventually give up.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
57 int pipe_handler_error_count = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
58
3018
5708b8bb4f06 [project @ 1997-06-03 21:48:05 by jwe]
jwe
parents: 2931
diff changeset
59 // TRUE means we can be interrupted.
5708b8bb4f06 [project @ 1997-06-03 21:48:05 by jwe]
jwe
parents: 2931
diff changeset
60 bool can_interrupt = false;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
61
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
62 // TRUE means we should try to enter the debugger on SIGINT.
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
63 static bool Vdebug_on_interrupt = false;
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
64
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
65 // Allow users to avoid writing octave-core for SIGHUP (sent by
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
66 // closing gnome-terminal, for example). Note that this variable has
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
67 // no effect if Vcrash_dumps_octave_core is FALSE.
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
68 static bool Vsighup_dumps_octave_core;
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
69
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
70 // Similar to Vsighup_dumps_octave_core, but for SIGTERM signal.
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
71 static bool Vsigterm_dumps_octave_core;
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
72
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
73 #if RETSIGTYPE == void
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
74 #define SIGHANDLER_RETURN(status) return
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
75 #else
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
76 #define SIGHANDLER_RETURN(status) return status
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
77 #endif
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
78
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
79 #if defined (MUST_REINSTALL_SIGHANDLERS)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
80 #define MAYBE_REINSTALL_SIGHANDLER(sig, handler) \
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
81 octave_set_signal_handler (sig, handler)
2931
dd37ffb94c63 [project @ 1997-05-05 22:50:13 by jwe]
jwe
parents: 2926
diff changeset
82 #define REINSTALL_USES_SIG 1
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
83 #else
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
84 #define MAYBE_REINSTALL_SIGHANDLER(sig, handler) \
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
85 do { } while (0)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
86 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
87
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
88 #if defined (__EMX__)
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
89 #define MAYBE_ACK_SIGNAL(sig) \
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
90 octave_set_signal_handler (sig, SIG_ACK)
2931
dd37ffb94c63 [project @ 1997-05-05 22:50:13 by jwe]
jwe
parents: 2926
diff changeset
91 #define ACK_USES_SIG 1
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
92 #else
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
93 #define MAYBE_ACK_SIGNAL(sig) \
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
94 do { } while (0)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
95 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
96
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
97 // List of signals we have caught since last call to octave_signal_handler.
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
98 static bool octave_signals_caught[NSIG];
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
99
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
100 // Called from OCTAVE_QUIT to actually do something about the signals
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
101 // we have caught.
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
102
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
103 void
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
104 octave_signal_handler (void)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
105 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
106 // The list of signals is relatively short, so we will just go
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
107 // linearly through the list.
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
108
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
109 for (int i = 0; i < NSIG; i++)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
110 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
111 if (octave_signals_caught[i])
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
112 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
113 octave_signals_caught[i] = false;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
114
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
115 switch (i)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
116 {
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
117 #ifdef SIGCHLD
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
118 case SIGCHLD:
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
119 octave_child_list::reap ();
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
120 break;
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
121 #endif
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
122
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
123 case SIGFPE:
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
124 std::cerr << "warning: floating point exception -- trying to return to prompt" << std::endl;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
125 break;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
126
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
127 #ifdef SIGPIPE
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
128 case SIGPIPE:
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
129 std::cerr << "warning: broken pipe -- some output may be lost" << std::endl;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
130 break;
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
131 #endif
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
132 }
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
133 }
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
134 }
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
135 }
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
136
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
137 static void
4787
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
138 my_friendly_exit (const char *sig_name, int sig_number,
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
139 bool save_vars = true)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
140 {
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
141 static bool been_there_done_that = false;
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 if (been_there_done_that)
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
144 {
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
145 #if defined (SIGABRT)
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
146 octave_set_signal_handler (SIGABRT, SIG_DFL);
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
147 #endif
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
148
3644
9add655e8b8c [project @ 2000-03-24 11:58:50 by jwe]
jwe
parents: 3566
diff changeset
149 std::cerr << "panic: attempted clean up apparently failed -- aborting...\n";
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
150
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
151 MINGW_SIGNAL_CLEANUP ();
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
152
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
153 abort ();
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
154 }
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
155 else
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
156 {
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
157 been_there_done_that = true;
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
158
3644
9add655e8b8c [project @ 2000-03-24 11:58:50 by jwe]
jwe
parents: 3566
diff changeset
159 std::cerr << "panic: " << sig_name << " -- stopping myself...\n";
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
160
4787
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
161 if (save_vars)
4791
62f2fb593455 [project @ 2004-02-20 18:02:59 by jwe]
jwe
parents: 4787
diff changeset
162 dump_octave_core ();
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
163
3162
7c96e85c76db [project @ 1998-04-08 18:19:35 by jwe]
jwe
parents: 3018
diff changeset
164 if (sig_number < 0)
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
165 {
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
166 MINGW_SIGNAL_CLEANUP ();
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
167
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
168 exit (1);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
169 }
3162
7c96e85c76db [project @ 1998-04-08 18:19:35 by jwe]
jwe
parents: 3018
diff changeset
170 else
7c96e85c76db [project @ 1998-04-08 18:19:35 by jwe]
jwe
parents: 3018
diff changeset
171 {
7c96e85c76db [project @ 1998-04-08 18:19:35 by jwe]
jwe
parents: 3018
diff changeset
172 octave_set_signal_handler (sig_number, SIG_DFL);
7c96e85c76db [project @ 1998-04-08 18:19:35 by jwe]
jwe
parents: 3018
diff changeset
173
4092
01f46b36e11f [project @ 2002-10-07 16:13:22 by jwe]
jwe
parents: 4064
diff changeset
174 #if defined (HAVE_RAISE)
01f46b36e11f [project @ 2002-10-07 16:13:22 by jwe]
jwe
parents: 4064
diff changeset
175 raise (sig_number);
01f46b36e11f [project @ 2002-10-07 16:13:22 by jwe]
jwe
parents: 4064
diff changeset
176 #elif defined (HAVE_KILL)
3162
7c96e85c76db [project @ 1998-04-08 18:19:35 by jwe]
jwe
parents: 3018
diff changeset
177 kill (getpid (), sig_number);
4092
01f46b36e11f [project @ 2002-10-07 16:13:22 by jwe]
jwe
parents: 4064
diff changeset
178 #else
01f46b36e11f [project @ 2002-10-07 16:13:22 by jwe]
jwe
parents: 4064
diff changeset
179 exit (1);
01f46b36e11f [project @ 2002-10-07 16:13:22 by jwe]
jwe
parents: 4064
diff changeset
180 #endif
3162
7c96e85c76db [project @ 1998-04-08 18:19:35 by jwe]
jwe
parents: 3018
diff changeset
181 }
4092
01f46b36e11f [project @ 2002-10-07 16:13:22 by jwe]
jwe
parents: 4064
diff changeset
182
2536
1d63e820ee13 [project @ 1996-11-19 20:34:29 by jwe]
jwe
parents: 2512
diff changeset
183 }
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
184 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
185
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
186 sig_handler *
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
187 octave_set_signal_handler (int sig, sig_handler *handler)
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
188 {
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
189 #if defined (HAVE_POSIX_SIGNALS)
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
190 struct sigaction act, oact;
5144
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
191
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
192 act.sa_handler = handler;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
193 act.sa_flags = 0;
5144
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
194
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
195 if (sig == SIGALRM)
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
196 {
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
197 #if defined (SA_INTERRUPT)
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
198 act.sa_flags |= SA_INTERRUPT;
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
199 #endif
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
200 }
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
201 else
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
202 {
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
203 #if defined (SA_RESTART)
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
204 act.sa_flags |= SA_RESTART;
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
205 #endif
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
206 }
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
207
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
208 sigemptyset (&act.sa_mask);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
209 sigemptyset (&oact.sa_mask);
5144
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
210
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
211 sigaction (sig, &act, &oact);
5144
25b090e1be9f [project @ 2005-02-15 12:06:05 by jwe]
jwe
parents: 5142
diff changeset
212
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
213 return oact.sa_handler;
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
214 #else
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
215 return signal (sig, handler);
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
216 #endif
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
217 }
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
218
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
219 static RETSIGTYPE
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
220 generic_sig_handler (int sig)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
221 {
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
222 my_friendly_exit (sys_siglist[sig], sig);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
223
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
224 SIGHANDLER_RETURN (0);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
225 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
226
2091
60f5e1c20815 [project @ 1996-04-28 08:32:39 by jwe]
jwe
parents: 2016
diff changeset
227 // Handle SIGCHLD.
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
228
4064
b4fa31442a78 [project @ 2002-09-26 21:10:45 by jwe]
jwe
parents: 3644
diff changeset
229 #ifdef SIGCHLD
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
230 static RETSIGTYPE
2092
a938192ff632 [project @ 1996-04-28 08:36:22 by jwe]
jwe
parents: 2091
diff changeset
231 sigchld_handler (int /* sig */)
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
232 {
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
233 volatile octave_interrupt_handler saved_interrupt_handler
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
234 = octave_ignore_interrupts ();
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
235
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
236 // 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
237 // 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
238 // functions.
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
239
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
240 #if defined (__EMX__)
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
241 volatile sig_handler *saved_sigchld_handler
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
242 = octave_set_signal_handler (SIGCHLD, SIG_IGN);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
243 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
244
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
245 sigset_t set, oset;
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
246
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
247 BLOCK_CHILD (set, oset);
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
248
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
249 if (octave_child_list::wait ())
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
250 {
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
251 // The status of some child changed.
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
252
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
253 octave_signal_caught = 1;
2197
680ce730f0c6 [project @ 1996-05-15 00:03:19 by jwe]
jwe
parents: 2151
diff changeset
254
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
255 octave_signals_caught[SIGCHLD] = true;
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
256 }
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
257
2600
c454cd888ada [project @ 1996-12-19 22:35:54 by jwe]
jwe
parents: 2554
diff changeset
258 octave_set_interrupt_handler (saved_interrupt_handler);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
259
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
260 UNBLOCK_CHILD (oset);
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
261
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
262 #ifdef __EMX__
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
263 octave_set_signal_handler (SIGCHLD, saved_sigchld_handler);
2475
1d7925d6bede [project @ 1996-11-07 04:36:00 by jwe]
jwe
parents: 2469
diff changeset
264 #endif
1d7925d6bede [project @ 1996-11-07 04:36:00 by jwe]
jwe
parents: 2469
diff changeset
265
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
266 MAYBE_ACK_SIGNAL (SIGCHLD);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
267
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
268 MAYBE_REINSTALL_SIGHANDLER (SIGCHLD, sigchld_handler);
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
269
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
270 SIGHANDLER_RETURN (0);
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
271 }
4064
b4fa31442a78 [project @ 2002-09-26 21:10:45 by jwe]
jwe
parents: 3644
diff changeset
272 #endif /* defined(SIGCHLD) */
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
273
4064
b4fa31442a78 [project @ 2002-09-26 21:10:45 by jwe]
jwe
parents: 3644
diff changeset
274 #ifdef SIGFPE
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
275 #if defined (__alpha__)
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
276 static RETSIGTYPE
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1446
diff changeset
277 sigfpe_handler (int /* sig */)
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
278 {
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
279 MAYBE_ACK_SIGNAL (SIGFPE);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
280
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
281 MAYBE_REINSTALL_SIGHANDLER (SIGFPE, sigfpe_handler);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
282
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
283 if (can_interrupt && octave_interrupt_state >= 0)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
284 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
285 octave_signal_caught = 1;
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
286
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
287 octave_signals_caught[SIGFPE] = true;
4182
4d1d7c51205c [project @ 2002-11-15 20:33:47 by jwe]
jwe
parents: 4181
diff changeset
288
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
289 octave_interrupt_state++;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
290 }
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
291
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
292 SIGHANDLER_RETURN (0);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
293 }
4064
b4fa31442a78 [project @ 2002-09-26 21:10:45 by jwe]
jwe
parents: 3644
diff changeset
294 #endif /* defined(__alpha__) */
b4fa31442a78 [project @ 2002-09-26 21:10:45 by jwe]
jwe
parents: 3644
diff changeset
295 #endif /* defined(SIGFPE) */
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
296
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
297 #if defined (SIGHUP) || defined (SIGTERM)
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
298 static RETSIGTYPE
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
299 sig_hup_or_term_handler (int sig)
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
300 {
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
301 MAYBE_ACK_SIGNAL (sig);
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
302
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
303 MAYBE_REINSTALL_SIGHANDLER (sig, sig_hup_or_term_handler);
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
304
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
305 switch (sig)
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
306 {
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
307 #if defined (SIGHUP)
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
308 case SIGHUP:
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
309 {
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
310 if (Vsighup_dumps_octave_core)
4791
62f2fb593455 [project @ 2004-02-20 18:02:59 by jwe]
jwe
parents: 4787
diff changeset
311 dump_octave_core ();
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
312 }
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
313 break;
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
314 #endif
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
315
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
316 #if defined (SIGTERM)
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
317 case SIGTERM:
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
318 {
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
319 if (Vsigterm_dumps_octave_core)
4791
62f2fb593455 [project @ 2004-02-20 18:02:59 by jwe]
jwe
parents: 4787
diff changeset
320 dump_octave_core ();
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
321 }
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
322 break;
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
323 #endif
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
324
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
325 default:
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
326 break;
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
327 }
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
328
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
329 clean_up_and_exit (0);
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
330
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
331 SIGHANDLER_RETURN (0);
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
332 }
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
333 #endif
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
334
3343
466d7a1cac01 [project @ 1999-11-05 19:34:29 by jwe]
jwe
parents: 3281
diff changeset
335 #if 0
3281
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
336 #if defined (SIGWINCH)
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
337 static RETSIGTYPE
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
338 sigwinch_handler (int /* sig */)
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
339 {
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
340 MAYBE_ACK_SIGNAL (SIGWINCH);
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
341
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
342 MAYBE_REINSTALL_SIGHANDLER (SIGWINCH, sigwinch_handler);
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
343
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
344 command_editor::resize_terminal ();
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
345
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
346 SIGHANDLER_RETURN (0);
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
347 }
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
348 #endif
3343
466d7a1cac01 [project @ 1999-11-05 19:34:29 by jwe]
jwe
parents: 3281
diff changeset
349 #endif
3281
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
350
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
351 // 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
352 //
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
353 // 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
354 // 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
355 // for SIGINT only.
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
356
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
357 static
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
358 void user_abort(const char *sig_name, int sig_number)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
359 {
4172
2e94b2abfe6d [project @ 2002-11-12 21:14:04 by jwe]
jwe
parents: 4153
diff changeset
360 if (! octave_initialized)
2e94b2abfe6d [project @ 2002-11-12 21:14:04 by jwe]
jwe
parents: 4153
diff changeset
361 exit (1);
2e94b2abfe6d [project @ 2002-11-12 21:14:04 by jwe]
jwe
parents: 4153
diff changeset
362
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
363 if (can_interrupt)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
364 {
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
365 if (Vdebug_on_interrupt)
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
366 {
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
367 if (! octave_debug_on_interrupt_state)
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
368 {
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
369 octave_debug_on_interrupt_state = true;
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
370
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
371 return;
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
372 }
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
373 else
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
374 // Clear the flag and do normal interrupt stuff.
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
375 octave_debug_on_interrupt_state = false;
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
376 }
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
377
4153
6b96ce9f5743 [project @ 2002-11-06 20:38:49 by jwe]
jwe
parents: 4092
diff changeset
378 if (octave_interrupt_immediately)
6b96ce9f5743 [project @ 2002-11-06 20:38:49 by jwe]
jwe
parents: 4092
diff changeset
379 octave_jump_to_enclosing_context ();
4429
c1f6200b5f0e [project @ 2003-06-17 04:36:08 by jwe]
jwe
parents: 4294
diff changeset
380 else
4787
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
381 {
4793
a62215ab8a03 [project @ 2004-02-20 20:59:34 by jwe]
jwe
parents: 4791
diff changeset
382 // If we are already cleaning up from a previous interrupt,
a62215ab8a03 [project @ 2004-02-20 20:59:34 by jwe]
jwe
parents: 4791
diff changeset
383 // take note of the fact that another interrupt signal has
a62215ab8a03 [project @ 2004-02-20 20:59:34 by jwe]
jwe
parents: 4791
diff changeset
384 // arrived.
a62215ab8a03 [project @ 2004-02-20 20:59:34 by jwe]
jwe
parents: 4791
diff changeset
385
a62215ab8a03 [project @ 2004-02-20 20:59:34 by jwe]
jwe
parents: 4791
diff changeset
386 if (octave_interrupt_state < 0)
a62215ab8a03 [project @ 2004-02-20 20:59:34 by jwe]
jwe
parents: 4791
diff changeset
387 octave_interrupt_state = 0;
a62215ab8a03 [project @ 2004-02-20 20:59:34 by jwe]
jwe
parents: 4791
diff changeset
388
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
389 octave_signal_caught = 1;
4787
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
390 octave_interrupt_state++;
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
391
4791
62f2fb593455 [project @ 2004-02-20 18:02:59 by jwe]
jwe
parents: 4787
diff changeset
392 if (interactive && octave_interrupt_state == 2)
62f2fb593455 [project @ 2004-02-20 18:02:59 by jwe]
jwe
parents: 4787
diff changeset
393 std::cerr << "Press Control-C again to abort." << std::endl;
4787
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
394
4791
62f2fb593455 [project @ 2004-02-20 18:02:59 by jwe]
jwe
parents: 4787
diff changeset
395 if (octave_interrupt_state >= 3)
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
396 my_friendly_exit (sig_name, sig_number, true);
4787
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
397 }
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
398 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
399
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
400 }
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
401
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
402 static RETSIGTYPE
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
403 sigint_handler (int sig)
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
404 {
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
405 MAYBE_ACK_SIGNAL (sig);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
406
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
407 MAYBE_REINSTALL_SIGHANDLER (sig, sigint_handler);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
408
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
409 #ifdef USE_W32_SIGINT
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
410 if (w32_in_main_thread ())
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
411 user_abort (sys_siglist[sig], sig);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
412 else
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
413 w32_raise (sig);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
414 #else
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
415 user_abort (sys_siglist[sig], sig);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
416 #endif
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
417
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
418 SIGHANDLER_RETURN (0);
1
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
4064
b4fa31442a78 [project @ 2002-09-26 21:10:45 by jwe]
jwe
parents: 3644
diff changeset
421 #ifdef SIGPIPE
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
422 static RETSIGTYPE
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1446
diff changeset
423 sigpipe_handler (int /* sig */)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
424 {
2626
b35a5cd8107f [project @ 1997-01-27 01:41:30 by jwe]
jwe
parents: 2600
diff changeset
425 MAYBE_ACK_SIGNAL (SIGPIPE);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
426
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
427 MAYBE_REINSTALL_SIGHANDLER (SIGPIPE, sigpipe_handler);
834
44ce29d8cb7b [project @ 1994-10-19 18:17:44 by jwe]
jwe
parents: 635
diff changeset
428
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
429 octave_signal_caught = 1;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
430
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
431 octave_signals_caught[SIGPIPE] = true;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
432
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
433 // Don't loop forever on account of this.
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1352
diff changeset
434
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
435 if (pipe_handler_error_count++ > 100 && octave_interrupt_state >= 0)
4787
02c748eb2ddc [project @ 2004-02-18 21:20:26 by jwe]
jwe
parents: 4675
diff changeset
436 octave_interrupt_state++;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
437
2469
f201716926bb [project @ 1996-11-05 19:39:33 by jwe]
jwe
parents: 2447
diff changeset
438 SIGHANDLER_RETURN (0);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
439 }
4064
b4fa31442a78 [project @ 2002-09-26 21:10:45 by jwe]
jwe
parents: 3644
diff changeset
440 #endif /* defined(SIGPIPE) */
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
441
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
442 #ifdef USE_W32_SIGINT
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
443 static BOOL CALLBACK
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
444 w32_sigint_handler (DWORD sig)
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
445 {
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
446 const char *sig_name;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
447
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
448 switch(sig)
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
449 {
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
450 case CTRL_BREAK_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
451 sig_name = "Ctrl-Break";
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
452 break;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
453 case CTRL_C_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
454 sig_name = "Ctrl-C";
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
455 break;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
456 case CTRL_CLOSE_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
457 sig_name = "close console";
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
458 break;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
459 case CTRL_LOGOFF_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
460 sig_name = "logoff";
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
461 break;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
462 case CTRL_SHUTDOWN_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
463 sig_name = "shutdown";
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
464 break;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
465 default:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
466 sig_name = "unknown console event";
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
467 break;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
468 }
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
469
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
470 switch(sig)
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
471 {
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
472 case CTRL_BREAK_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
473 case CTRL_C_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
474 w32_raise (SIGINT);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
475 break;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
476
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
477 case CTRL_CLOSE_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
478 case CTRL_LOGOFF_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
479 case CTRL_SHUTDOWN_EVENT:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
480 default:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
481 // We should do the following:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
482 // clean_up_and_exit (0);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
483 // We can't because we aren't running in the normal Octave thread.
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
484 user_abort(sig_name, sig);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
485 break;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
486 }
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
487
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
488 // Return TRUE if the event was handled, or FALSE if another handler
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
489 // should be called.
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
490 // XXX FIXME XXX check that windows terminates the thread.
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
491 return TRUE;
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
492 }
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
493 #endif /* w32_sigint_handler */
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
494
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
495
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
496 octave_interrupt_handler
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
497 octave_catch_interrupts (void)
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
498 {
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
499 octave_interrupt_handler retval;
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
500
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
501 #ifdef SIGINT
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
502 retval.int_handler = octave_set_signal_handler (SIGINT, sigint_handler);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
503 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
504
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
505 #ifdef SIGBREAK
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
506 retval.brk_handler = octave_set_signal_handler (SIGBREAK, sigint_handler);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
507 #endif
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
508
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
509 #ifdef USE_W32_SIGINT
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
510
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
511 // Intercept windows console control events.
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
512 // Note that the windows console signal handlers chain, so if
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
513 // install_signal_handlers is called more than once in the same program,
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
514 // then first call the following to avoid duplicates:
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
515 //
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
516 // SetConsoleCtrlHandler (w32_sigint_handler, FALSE);
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
517
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
518 if (! SetConsoleCtrlHandler (w32_sigint_handler, TRUE))
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
519 error ("SetConsoleCtrlHandler failed with %ld\n", GetLastError ());
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
520
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
521 w32_set_quiet_shutdown ();
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
522
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
523 #endif
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
524
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
525 return retval;
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
526 }
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
527
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
528 octave_interrupt_handler
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
529 octave_ignore_interrupts (void)
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
530 {
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
531 octave_interrupt_handler retval;
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
532
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
533 #ifdef SIGINT
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
534 retval.int_handler = octave_set_signal_handler (SIGINT, SIG_IGN);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
535 #endif
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
536
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
537 #ifdef SIGBREAK
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
538 retval.brk_handler = octave_set_signal_handler (SIGBREAK, SIG_IGN);
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
539 #endif
2705
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
540
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
541 return retval;
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
542 }
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
543
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
544 octave_interrupt_handler
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
545 octave_set_interrupt_handler (const volatile octave_interrupt_handler& h)
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
546 {
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
547 octave_interrupt_handler retval;
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
548
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
549 #ifdef SIGINT
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
550 retval.int_handler = octave_set_signal_handler (SIGINT, h.int_handler);
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
551 #endif
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
552
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
553 #ifdef SIGBREAK
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
554 retval.brk_handler = octave_set_signal_handler (SIGBREAK, h.brk_handler);
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
555 #endif
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
556
18395aaeafb7 [project @ 1997-02-20 04:56:43 by jwe]
jwe
parents: 2693
diff changeset
557 return retval;
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
558 }
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1618
diff changeset
559
635
5338832d2cf6 [project @ 1994-08-23 17:57:20 by jwe]
jwe
parents: 529
diff changeset
560 // 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
561
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
562 void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
563 install_signal_handlers (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
564 {
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
565 for (int i = 0; i < NSIG; i++)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
566 octave_signals_caught[i] = false;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
567
2554
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
568 octave_catch_interrupts ();
f7e3d23f0a8f [project @ 1996-11-21 01:41:57 by jwe]
jwe
parents: 2536
diff changeset
569
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
570 #ifdef SIGABRT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
571 octave_set_signal_handler (SIGABRT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
572 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
573
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
574 #ifdef SIGALRM
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
575 octave_set_signal_handler (SIGALRM, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
576 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
577
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
578 #ifdef SIGBUS
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
579 octave_set_signal_handler (SIGBUS, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
580 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
581
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
582 #ifdef SIGCHLD
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
583 octave_set_signal_handler (SIGCHLD, sigchld_handler);
1230
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
584 #endif
92609e161b29 [project @ 1995-04-10 01:08:57 by jwe]
jwe
parents: 1009
diff changeset
585
3174
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
586 // SIGCLD
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
587 // SIGCONT
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
588
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
589 #ifdef SIGEMT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
590 octave_set_signal_handler (SIGEMT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
591 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
592
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
593 #ifdef SIGFPE
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
594 #if defined (__alpha__)
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
595 octave_set_signal_handler (SIGFPE, sigfpe_handler);
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
596 #else
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
597 octave_set_signal_handler (SIGFPE, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
598 #endif
1373
cea4101a2f18 [project @ 1995-09-07 07:19:58 by jwe]
jwe
parents: 1358
diff changeset
599 #endif
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
600
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
601 #ifdef SIGHUP
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
602 octave_set_signal_handler (SIGHUP, sig_hup_or_term_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
603 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
604
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
605 #ifdef SIGILL
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
606 octave_set_signal_handler (SIGILL, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
607 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
608
3174
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
609 // SIGINFO
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
610 // SIGINT
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
611
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
612 #ifdef SIGIOT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
613 octave_set_signal_handler (SIGIOT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
614 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
615
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
616 #ifdef SIGLOST
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
617 octave_set_signal_handler (SIGLOST, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
618 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
619
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
620 #ifdef SIGPIPE
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
621 octave_set_signal_handler (SIGPIPE, sigpipe_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
622 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
623
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
624 #ifdef SIGPOLL
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
625 octave_set_signal_handler (SIGPOLL, SIG_IGN);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
626 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
627
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
628 #ifdef SIGPROF
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
629 octave_set_signal_handler (SIGPROF, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
630 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
631
3174
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
632 // SIGPWR
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
633
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
634 #ifdef SIGQUIT
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
635 octave_set_signal_handler (SIGQUIT, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
636 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
637
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
638 #ifdef SIGSEGV
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
639 octave_set_signal_handler (SIGSEGV, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
640 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
641
3174
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
642 // SIGSTOP
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
643
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
644 #ifdef SIGSYS
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
645 octave_set_signal_handler (SIGSYS, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
646 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
647
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
648 #ifdef SIGTERM
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
649 octave_set_signal_handler (SIGTERM, sig_hup_or_term_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
650 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
651
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
652 #ifdef SIGTRAP
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
653 octave_set_signal_handler (SIGTRAP, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
654 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
655
3174
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
656 // SIGTSTP
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
657 // SIGTTIN
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
658 // SIGTTOU
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
659 // SIGURG
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
660
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
661 #ifdef SIGUSR1
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
662 octave_set_signal_handler (SIGUSR1, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
663 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
664
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
665 #ifdef SIGUSR2
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
666 octave_set_signal_handler (SIGUSR2, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
667 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
668
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
669 #ifdef SIGVTALRM
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
670 octave_set_signal_handler (SIGVTALRM, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
671 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
672
895
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
673 #ifdef SIGIO
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
674 octave_set_signal_handler (SIGIO, SIG_IGN);
895
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
675 #endif
05654cdcfc95 [project @ 1994-11-09 15:30:06 by jwe]
jwe
parents: 886
diff changeset
676
3343
466d7a1cac01 [project @ 1999-11-05 19:34:29 by jwe]
jwe
parents: 3281
diff changeset
677 #if 0
3281
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
678 #ifdef SIGWINCH
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
679 octave_set_signal_handler (SIGWINCH, sigwinch_handler);
aaaa20d31a5f [project @ 1999-10-13 07:02:46 by jwe]
jwe
parents: 3252
diff changeset
680 #endif
3343
466d7a1cac01 [project @ 1999-11-05 19:34:29 by jwe]
jwe
parents: 3281
diff changeset
681 #endif
3174
390d5e396682 [project @ 1998-05-04 16:36:17 by jwe]
jwe
parents: 3162
diff changeset
682
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
683 #ifdef SIGXCPU
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
684 octave_set_signal_handler (SIGXCPU, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
685 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
686
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
687 #ifdef SIGXFSZ
1446
5135dac66704 [project @ 1995-09-19 22:34:06 by jwe]
jwe
parents: 1395
diff changeset
688 octave_set_signal_handler (SIGXFSZ, generic_sig_handler);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
689 #endif
5451
ed08548b9054 [project @ 2005-09-15 19:52:50 by jwe]
jwe
parents: 5333
diff changeset
690
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
691 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
692
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
693 static Octave_map
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
694 make_sig_struct (void)
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
695 {
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
696 Octave_map m;
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
697
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
698 #ifdef SIGABRT
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
699 m.assign ("ABRT", SIGABRT);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
700 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
701
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
702 #ifdef SIGALRM
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
703 m.assign ("ALRM", SIGALRM);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
704 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
705
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
706 #ifdef SIGBUS
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
707 m.assign ("BUS", SIGBUS);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
708 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
709
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
710 #ifdef SIGCHLD
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
711 m.assign ("CHLD", SIGCHLD);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
712 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
713
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
714 #ifdef SIGCLD
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
715 m.assign ("CLD", SIGCLD);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
716 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
717
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
718 #ifdef SIGCONT
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
719 m.assign ("CONT", SIGCONT);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
720 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
721
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
722 #ifdef SIGEMT
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
723 m.assign ("EMT", SIGEMT);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
724 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
725
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
726 #ifdef SIGFPE
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
727 m.assign ("FPE", SIGFPE);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
728 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
729
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
730 #ifdef SIGHUP
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
731 m.assign ("HUP", SIGHUP);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
732 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
733
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
734 #ifdef SIGILL
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
735 m.assign ("ILL", SIGILL);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
736 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
737
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
738 #ifdef SIGINFO
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
739 m.assign ("INFO", SIGINFO);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
740 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
741
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
742 #ifdef SIGINT
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
743 m.assign ("INT", SIGINT);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
744 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
745
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
746 #ifdef SIGIOT
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
747 m.assign ("IOT", SIGIOT);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
748 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
749
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
750 #ifdef SIGLOST
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
751 m.assign ("LOST", SIGLOST);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
752 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
753
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
754 #ifdef SIGPIPE
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
755 m.assign ("PIPE", SIGPIPE);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
756 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
757
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
758 #ifdef SIGPOLL
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
759 m.assign ("POLL", SIGPOLL);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
760 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
761
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
762 #ifdef SIGPROF
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
763 m.assign ("PROF", SIGPROF);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
764 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
765
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
766 #ifdef SIGPWR
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
767 m.assign ("PWR", SIGPWR);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
768 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
769
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
770 #ifdef SIGQUIT
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
771 m.assign ("QUIT", SIGQUIT);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
772 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
773
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
774 #ifdef SIGSEGV
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
775 m.assign ("SEGV", SIGSEGV);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
776 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
777
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
778 #ifdef SIGSTOP
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
779 m.assign ("STOP", SIGSTOP);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
780 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
781
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
782 #ifdef SIGSYS
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
783 m.assign ("SYS", SIGSYS);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
784 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
785
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
786 #ifdef SIGTERM
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
787 m.assign ("TERM", SIGTERM);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
788 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
789
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
790 #ifdef SIGTRAP
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
791 m.assign ("TRAP", SIGTRAP);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
792 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
793
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
794 #ifdef SIGTSTP
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
795 m.assign ("TSTP", SIGTSTP);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
796 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
797
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
798 #ifdef SIGTTIN
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
799 m.assign ("TTIN", SIGTTIN);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
800 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
801
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
802 #ifdef SIGTTOU
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
803 m.assign ("TTOU", SIGTTOU);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
804 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
805
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
806 #ifdef SIGURG
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
807 m.assign ("URG", SIGURG);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
808 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
809
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
810 #ifdef SIGUSR1
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
811 m.assign ("USR1", SIGUSR1);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
812 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
813
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
814 #ifdef SIGUSR2
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
815 m.assign ("USR2", SIGUSR2);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
816 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
817
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
818 #ifdef SIGVTALRM
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
819 m.assign ("VTALRM", SIGVTALRM);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
820 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
821
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
822 #ifdef SIGIO
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
823 m.assign ("IO", SIGIO);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
824 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
825
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
826 #ifdef SIGWINCH
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
827 m.assign ("WINCH", SIGWINCH);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
828 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
829
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
830 #ifdef SIGXCPU
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
831 m.assign ("XCPU", SIGXCPU);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
832 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
833
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
834 #ifdef SIGXFSZ
4675
f6d6335c08f6 [project @ 2003-12-16 05:11:26 by jwe]
jwe
parents: 4449
diff changeset
835 m.assign ("XFSZ", SIGXFSZ);
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
836 #endif
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
837
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
838 return m;
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
839 }
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
840
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
841 octave_child_list::octave_child_list_rep *octave_child_list::instance = 0;
5128
2c4b08ace285 [project @ 2005-02-04 21:41:38 by jwe]
jwe
parents: 4793
diff changeset
842
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
843 bool
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
844 octave_child_list::instance_ok (void)
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
845 {
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
846 bool retval = true;
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
847
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
848 if (! instance)
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
849 instance = new octave_child_list_rep ();
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
850
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
851 if (! instance)
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
852 {
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
853 ::error ("unable to create child list object!");
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
854
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
855 retval = false;
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
856 }
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
857
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
858 return retval;
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
859 }
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
860
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
861 void
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
862 octave_child_list::insert (pid_t pid, octave_child::child_event_handler f)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
863 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
864 if (instance_ok ())
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
865 instance->insert (pid, f);
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
866 }
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
867
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
868 void
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
869 octave_child_list::reap (void)
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
870 {
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
871 if (instance_ok ())
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
872 instance->reap ();
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
873 }
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
874
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
875 bool
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
876 octave_child_list::wait (void)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
877 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
878 return (instance_ok ()) ? instance->wait () : false;
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
879 }
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
880
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
881 class pid_equal
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
882 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
883 public:
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
884
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
885 pid_equal (pid_t v) : val (v) { }
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
886
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
887 bool operator () (const octave_child& oc) const { return oc.pid == val; }
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
888
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
889 private:
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
890
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
891 pid_t val;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
892 };
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
893
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
894 void
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
895 octave_child_list::remove (pid_t pid)
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
896 {
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
897 if (instance_ok ())
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
898 instance->remove_if (pid_equal (pid));
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
899 }
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
900
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
901 #define OCL_REP octave_child_list::octave_child_list_rep
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
902
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
903 void
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
904 OCL_REP::insert (pid_t pid, octave_child::child_event_handler f)
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
905 {
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
906 append (octave_child (pid, f));
2926
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
907 }
66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe]
jwe
parents: 2847
diff changeset
908
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
909 void
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
910 OCL_REP::reap (void)
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
911 {
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
912 // Mark the record for PID invalid.
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
913
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
914 for (iterator p = begin (); p != end (); p++)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
915 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
916 // The call to the octave_child::child_event_handler might
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
917 // invalidate the iterator (for example, by calling
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
918 // octave_child_list::remove), so we increment the iterator
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
919 // here.
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
920
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
921 octave_child& oc = *p;
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
922
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
923 if (oc.have_status)
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
924 {
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
925 oc.have_status = 0;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
926
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
927 octave_child::child_event_handler f = oc.handler;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
928
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
929 if (f && f (oc.pid, oc.status))
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
930 oc.pid = -1;
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
931 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
932 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
933
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
934 remove_if (pid_equal (-1));
2209
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
935 }
859030f15706 [project @ 1996-05-15 11:46:43 by jwe]
jwe
parents: 2206
diff changeset
936
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
937 // Wait on our children and record any changes in their status.
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
938
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
939 bool
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
940 OCL_REP::wait (void)
2210
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
941 {
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
942 bool retval = false;
2210
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
943
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
944 for (iterator p = begin (); p != end (); p++)
2210
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
945 {
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
946 octave_child& oc = *p;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
947
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
948 pid_t pid = oc.pid;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
949
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
950 if (pid > 0)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
951 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
952 int status;
2210
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
953
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
954 if (waitpid (pid, &status, WNOHANG) > 0)
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
955 {
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
956 oc.have_status = 1;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
957
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
958 oc.status = status;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
959
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
960 retval = true;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
961
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
962 break;
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
963 }
2210
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
964 }
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
965 }
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
966
5142
0f9108f298ab [project @ 2005-02-12 02:29:34 by jwe]
jwe
parents: 5128
diff changeset
967 return retval;
2210
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
968 }
a3e39f8efed2 [project @ 1996-05-15 12:55:55 by jwe]
jwe
parents: 2209
diff changeset
969
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
970 static int
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
971 debug_on_interrupt (void)
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
972 {
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
973 Vdebug_on_interrupt = check_preference ("debug_on_interrupt");
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
974
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
975 return 0;
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
976 }
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
977
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
978 static int
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
979 sighup_dumps_octave_core (void)
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
980 {
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
981 Vsighup_dumps_octave_core = check_preference ("sighup_dumps_octave_core");
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
982
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
983 return 0;
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
984 }
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
985
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
986 static int
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
987 sigterm_dumps_octave_core (void)
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
988 {
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
989 Vsigterm_dumps_octave_core = check_preference ("sigterm_dumps_octave_core");
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
990
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
991 return 0;
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
992 }
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
993
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
994 void
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
995 symbols_of_sighandlers (void)
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
996 {
4233
ccfdb55c8156 [project @ 2002-12-20 22:43:54 by jwe]
jwe
parents: 4185
diff changeset
997 DEFVAR (debug_on_interrupt, false, debug_on_interrupt,
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
998 "-*- texinfo -*-\n\
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
999 @defvr {Built-in Variable} debug_on_interrupt\n\
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
1000 If @code{debug_on_interrupt} is nonzero, Octave will try to enter\n\
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
1001 debugging mode when it receives an interrupt signal (typically\n\
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
1002 generated with @kbd{C-c}). If a second interrupt signal is received\n\
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
1003 before reaching the debugging mode, a normal interrupt will occur.\n\
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
1004 The default value is 0.\n\
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
1005 @end defvr");
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
1006
4449
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1007 DEFVAR (sighup_dumps_octave_core, true, sighup_dumps_octave_core,
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1008 "-*- texinfo -*-\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1009 @defvr {Built-in Variable} sighup_dumps_octave_core\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1010 If this variable is set to a nonzero value and\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1011 @code{crash_dumps_octave_core} is also nonzero, Octave tries to save all\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1012 current variables the the file \"octave-core\" if it receives a\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1013 hangup signal. The default value is 1.\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1014 @end defvr");
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1015
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1016 DEFVAR (sigterm_dumps_octave_core, true, sigterm_dumps_octave_core,
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1017 "-*- texinfo -*-\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1018 @defvr {Built-in Variable} sigterm_dumps_octave_core\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1019 If this variable is set to a nonzero value and\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1020 @code{crash_dumps_octave_core} is also nonzero, Octave tries to save all\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1021 current variables the the file \"octave-core\" if it receives a\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1022 terminate signal. The default value is 1.\n\
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1023 @end defvr");
e2c91da0aa16 [project @ 2003-07-09 02:21:11 by jwe]
jwe
parents: 4429
diff changeset
1024
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
1025 DEFCONST (SIG, make_sig_struct (),
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
1026 "-*- texinfo -*-\n\
5333
ac8d64b9e76a [project @ 2005-05-02 18:15:20 by jwe]
jwe
parents: 5307
diff changeset
1027 @defvr {Built-in Constant} SIG\n\
4294
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
1028 Structure of Unix signal names and their defined values.\n\
755f6509bb01 [project @ 2003-01-11 04:01:53 by jwe]
jwe
parents: 4233
diff changeset
1029 @end defvr");
4185
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
1030 }
8f6d418d31c3 [project @ 2002-11-15 23:22:03 by jwe]
jwe
parents: 4182
diff changeset
1031
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1032 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1033 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1034 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1035 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1036 */