diff --git a/src/debug_shell.re2c b/src/debug_shell.re2c index 665021a..ca5e096 100644 --- a/src/debug_shell.re2c +++ b/src/debug_shell.re2c @@ -1827,7 +1827,7 @@ void do_go() { int ok; #ifdef _WIN32 - //SetConsoleCtrlHandler(ctrl_handler, 1); + SetConsoleCtrlHandler(ctrl_handler, 1); #else /* if -g flag, start with debug shell ... */ if (isatty(STDIN_FILENO)) {