From 1d1033f110ff05c2fa1f7c71379677e6b3e0266c Mon Sep 17 00:00:00 2001
From: Kelvin Sherlock <ksherlock@gmail.com>
Date: Sun, 7 Apr 2019 00:30:06 -0400
Subject: [PATCH] win32 control-c handler

---
 src/debug_shell.re2c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)) {