if SIGINT is sent by kill, it's also valid

3 years ago · d1af64845b
parent 9740e08525
commit d1af64845b
1 changed files with 1 additions and 1 deletions
--- 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;