Disable CTRL-C interrupt handling in launcher process.

Bump version.
StanzaOrg · Sep 28, 2022 · 79db48f · 79db48f
1 parent d05e2a6
commit 79db48f
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/compiler/params.stanza b/compiler/params.stanza
@@ -15,7 +15,7 @@ public defn compiler-flags () :
   to-tuple(COMPILE-FLAGS)
 
 ;========= Stanza Configuration ========
-public val STANZA-VERSION = [0 17 21]
+public val STANZA-VERSION = [0 17 22]
 public var STANZA-INSTALL-DIR:String = ""
 public var OUTPUT-PLATFORM:Symbol = `platform
 public var STANZA-PKG-DIRS:List<String> = List()

diff --git a/runtime/driver.c b/runtime/driver.c
@@ -771,7 +771,16 @@ static void write_error_and_exit (int fd){
   exit(-1);
 }
 
+static void disable_ctrl_c () {
+  #ifdef PLATFORM_WINDOWS
+    SetConsoleCtrlHandler(NULL, TRUE);
+  #else
+    signal(SIGINT, SIG_IGN);
+  #endif
+}
+
 static void launcher_main (FILE* lin, FILE* lout){
+  disable_ctrl_c();
   while(1){
     //Read in command
     int comm = fgetc(lin);