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;