1997-10-26 01:04:02 +00:00
|
|
|
/*
|
|
|
|
* $Id: $
|
1997-03-13 12:45:35 +00:00
|
|
|
*/
|
|
|
|
|
1997-10-26 01:04:02 +00:00
|
|
|
typedef void (*sig_type)(int);
|
1997-03-13 12:45:35 +00:00
|
|
|
|
|
|
|
/* Call this instead of signal() */
|
1997-06-09 03:27:43 +00:00
|
|
|
extern sig_type pending_signal(int, sig_type);
|
1997-03-13 12:45:35 +00:00
|
|
|
|
|
|
|
/* Call this when you want things to *actually* happen */
|
1997-06-09 03:27:43 +00:00
|
|
|
extern void handle_signals(void);
|