diff options
Diffstat (limited to 'rts/win32/ConsoleHandler.h')
| -rw-r--r-- | rts/win32/ConsoleHandler.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rts/win32/ConsoleHandler.h b/rts/win32/ConsoleHandler.h index bb7278abba..d22f10f16a 100644 --- a/rts/win32/ConsoleHandler.h +++ b/rts/win32/ConsoleHandler.h @@ -62,3 +62,10 @@ extern void startSignalHandlers(Capability *cap); extern int rts_waitConsoleHandlerCompletion(void); #endif /* THREADED_RTS */ + +/* + * Function: finiUserSignals() + * + * Tear down and shut down user signal processing. + */ +extern void finiUserSignals(void); |