X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsSignals.h;h=601a46b79c4b20f46d2c644a780fc4f9701d98f2;hb=72547264724117d689a7fa400104185557fb2a0c;hp=eafeeaaf5543abecbcf22fc5b2dc44c0b630fec5;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h index eafeeaa..601a46b 100644 --- a/rts/RtsSignals.h +++ b/rts/RtsSignals.h @@ -6,10 +6,10 @@ * * ---------------------------------------------------------------------------*/ -#ifndef RTS_SIGNALS_H -#define RTS_SIGNALS_H +#ifndef RTSSIGNALS_H +#define RTSSIGNALS_H -#if !defined(PAR) && !defined(mingw32_HOST_OS) +#if !defined(mingw32_HOST_OS) #include "posix/Signals.h" @@ -17,12 +17,11 @@ #include "win32/ConsoleHandler.h" -#else /* PAR */ +#else #define signals_pending() (rtsFalse) -#endif /* PAR */ - +#endif #if RTS_USER_SIGNALS @@ -40,6 +39,9 @@ extern void initUserSignals(void); * Ctrl+C handler that shuts down the RTS in an orderly manner. */ extern void initDefaultHandlers(void); +extern void resetDefaultHandlers(void); + +extern void freeSignalHandlers(void); /* * Function: blockUserSignals() @@ -71,8 +73,8 @@ extern void awaitUserSignals(void); * Evacuate the handler queue. _Assumes_ that console event delivery * has already been blocked. */ -extern void markSignalHandlers (evac_fn evac); +extern void markSignalHandlers (evac_fn evac, void *user); #endif /* RTS_USER_SIGNALS */ -#endif /* RTS_SIGNALS_H */ +#endif /* RTSSIGNALS_H */