From 78f76951097e848d2113aee13278292ef485d5f2 Mon Sep 17 00:00:00 2001 From: Louis Rubet Date: Sat, 1 Jul 2017 17:18:39 +0200 Subject: [PATCH] #155: tried to contain sig segv --- src/main.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/main.cpp b/src/main.cpp index 73cd79c..c340970 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -65,6 +65,8 @@ static void ctrlc_handler(int sig, siginfo_t* siginfo, void* context) static void segv_handler(int sig, siginfo_t* siginfo, void* context) { fprintf(stderr, "Internal error\n"); + s_prog_to_interrupt->stop(); + s_prog_to_interrupt = NULL; } static void catch_signals(program* prog)