From 2ef49a92cc94981264723fe866c6569f71644c90 Mon Sep 17 00:00:00 2001 From: Andrew Chambers Date: Mon, 15 Nov 2021 20:38:23 +1300 Subject: [PATCH] Use kill instead of raise for SIGINT. Raise signals can only be handled by the current thread while kill signals can be handled by background threads. --- src/mainclient/shell.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mainclient/shell.c b/src/mainclient/shell.c index e35d003d..8e68fc51 100644 --- a/src/mainclient/shell.c +++ b/src/mainclient/shell.c @@ -757,7 +757,7 @@ static int line() { kleft(); break; case 3: /* ctrl-c */ - raise(SIGINT); + kill(getpid(), SIGINT); /* fallthrough */ case 17: /* ctrl-q */ gbl_cancel_current_repl_form = 1;