X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsSignals.h;h=e130fb4281ac698e2b6c9b4fb90e958ab783c0a6;hb=0bde11509ca13d4d0914496ee652d7c2b43a0420;hp=6d9374a70c5e6b4db6e304c6c6fe9b5630588c9d;hpb=ed12b7043fa98928f75c289a756fbcef546315f8;p=ghc-hetmet.git diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h index 6d9374a..e130fb4 100644 --- a/rts/RtsSignals.h +++ b/rts/RtsSignals.h @@ -9,7 +9,7 @@ #ifndef RTS_SIGNALS_H #define RTS_SIGNALS_H -#if !defined(PAR) && !defined(mingw32_HOST_OS) +#if !defined(mingw32_HOST_OS) #include "posix/Signals.h" @@ -40,6 +40,7 @@ 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); @@ -73,7 +74,7 @@ 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 */