diff options
-rw-r--r-- | examples/main/main.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/main/main.cpp b/examples/main/main.cpp index 3130aef..453450a 100644 --- a/examples/main/main.cpp +++ b/examples/main/main.cpp @@ -368,6 +368,11 @@ int main(int argc, char ** argv) { // potentially set color to indicate we are taking user input set_console_color(con_st, CONSOLE_COLOR_USER_INPUT); +#if defined (_WIN32) + // Windows: must reactivate sigint handler after each signal + signal(SIGINT, sigint_handler); +#endif + if (params.instruct) { printf("\n> "); } |