/* -----------------------------------------------------------------------------
- * $Id: Signals.c,v 1.16 2000/04/04 10:04:47 simonmar Exp $
+ * $Id: Signals.c,v 1.19 2001/01/24 15:38:14 simonmar Exp $
*
* (c) The GHC Team, 1998-1999
*
*
* ---------------------------------------------------------------------------*/
+#define NON_POSIX_SOURCE
+
#include "Rts.h"
#include "SchedAPI.h"
#include "Schedule.h"
#ifndef PAR
+/* SUP: The type of handlers is a little bit, well, doubtful... */
static StgInt *handlers = NULL; /* Dynamically grown array of signal handlers */
static StgInt nHandlers = 0; /* Size of handlers array */
circumstances, depending on the signal.
*/
- *next_pending_handler++ = deRefStablePtr(handlers[sig]);
+ *next_pending_handler++ = deRefStablePtr(stgCast(StgStablePtr,handlers[sig]));
/* stack full? */
if (next_pending_handler == &pending_handler_buf[N_PENDING_HANDLERS]) {
-------------------------------------------------------------------------- */
StgInt
-sig_install(StgInt sig, StgInt spi, StgStablePtr handler, sigset_t *mask)
+stg_sig_install(StgInt sig, StgInt spi, StgStablePtr handler, sigset_t *mask)
{
sigset_t signals;
struct sigaction action;
break;
default:
- barf("sig_install: bad spi");
+ barf("stg_sig_install: bad spi");
}
if (mask != 0)
* by freeing the previous handler if there was one.
*/
if (previous_spi >= 0) {
- freeStablePtr(handlers[sig]);
+ freeStablePtr(stgCast(StgStablePtr,handlers[sig]));
}
return STG_SIG_ERR;
}
#else /* PAR */
StgInt
-sig_install(StgInt sig, StgInt spi, StgStablePtr handler, sigset_t *mask)
+stg_sig_install(StgInt sig, StgInt spi, StgStablePtr handler, sigset_t *mask)
{
/* don't fflush(stdout); WORKAROUND bug in Linux glibc */
barf("no signal handling support in a parallel implementation");
/* Oh well, at least we tried. */
prog_belch("failed to install SIGINT handler");
}
+
+ siginterrupt(SIGINT, 1);
}
#endif /*! mingw32_TARGET_OS */