From d1af64845b4acfe5849b45eeba247bc0c98b68f0 Mon Sep 17 00:00:00 2001
From: xiaosuGW <xiaosuGW@localhost>
Date: Tue, 19 Oct 2021 17:15:33 -0400
Subject: [PATCH] if SIGINT is sent by kill, it's also valid

---
 runtime/src/software_interrupt.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runtime/src/software_interrupt.c b/runtime/src/software_interrupt.c
index f7cb2da..54516e7 100644
--- a/runtime/src/software_interrupt.c
+++ b/runtime/src/software_interrupt.c
@@ -110,7 +110,7 @@ static inline void
 sigint_propagate_workers_listener(siginfo_t *signal_info)
 {
 	/* Signal was sent directly by the kernel, so forward to other threads */
-	if (signal_info->si_code == SI_KERNEL) {
+	if (signal_info->si_code == SI_KERNEL || signal_info->si_code == SI_USER) {
 		for (int i = 0; i < runtime_worker_threads_count; i++) {
 			if (pthread_self() == runtime_worker_threads[i]) continue;