diff options
Diffstat (limited to 'rts/win32/ConsoleHandler.c')
| -rw-r--r-- | rts/win32/ConsoleHandler.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/rts/win32/ConsoleHandler.c b/rts/win32/ConsoleHandler.c index 2cd10ecc2d..25472cf583 100644 --- a/rts/win32/ConsoleHandler.c +++ b/rts/win32/ConsoleHandler.c @@ -119,6 +119,12 @@ void initDefaultHandlers(void) } } +void resetDefaultHandlers(void) +{ + if ( !SetConsoleCtrlHandler(shutdown_handler, FALSE) ) { + errorBelch("warning: failed to uninstall default console handler"); + } +} /* * Function: blockUserSignals() |