From b5541bd01afd6a0907377df8d31851f785604c5c Mon Sep 17 00:00:00 2001
From: Sebastian Gutsche <gutsche@momo.math.rwth-aachen.de>
Date: Fri, 1 Feb 2019 12:02:48 +0100
Subject: [PATCH] Reinstall GAP SIGINT handler when Julia is started

---
 src/julia_gc.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/julia_gc.c b/src/julia_gc.c
index b5feb439a5..4b2f1dab28 100644
--- a/src/julia_gc.c
+++ b/src/julia_gc.c
@@ -23,6 +23,7 @@
 #include "gasman.h"
 #include "objects.h"
 #include "plist.h"
+#include "sysfiles.h"
 #include "sysmem.h"
 #include "system.h"
 #include "vars.h"
@@ -744,6 +745,8 @@ void InitBags(UInt initial_size, Bag * stack_bottom, UInt stack_align)
         Panic("could not read GapObj variable from Julia");
     }
 
+    SyInstallAnswerIntr();
+
     JuliaTLS = jl_get_ptls_states();
     // These callbacks potentially require access to the Julia
     // TLS and thus need to be installed after initialization.