X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsSignals.h;h=77f22249b290865d53b1c76120bd52ec492df4ab;hb=2dce32ca5188120ca220a36139ff216b852b389e;hp=721561e5b6cc93d8780e53f7d7e424ccdd4461aa;hpb=f86e7206ea94b48b94fb61007a1c5d55b8c60f45;p=ghc-hetmet.git diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h index 721561e..77f2224 100644 --- a/rts/RtsSignals.h +++ b/rts/RtsSignals.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);