From f04e5c24abc589f3de0a87b9cd22b14cd5b8b4f8 Mon Sep 17 00:00:00 2001
From: Masamichi Takagi <masamichi.takagi@riken.jp>
Date: Wed, 28 Feb 2018 14:49:53 +0900
Subject: [PATCH] uti: Don't call mcexec_terminate_thread() when McKernel asks
 mcexec to interrupt system call

---
 executer/user/mcexec.c | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
index ccd5ba72..ea21db80 100644
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -2841,10 +2841,11 @@ kill_thread(unsigned long tid, int sig)
 
 	for (tp = thread_data; tp; tp = tp->next) {
 		if (tp->remote_tid == tid) {
-			pthread_kill(tp->thread_id, sig);
-			break;
-		}
-	}
+			if (pthread_kill(tp->thread_id, sig) == ESRCH) {
+				printf("%s: ERROR: Thread not found (tid=%ld,sig=%d)\n", __FUNCTION__, tid, sig);
+ 			}
+ 		}
+ 	}
 }
 
 static int