From 8aa589a40cfd459243813ae7af520033c1da7f27 Mon Sep 17 00:00:00 2001
From: Tomoki Shirasawa <sira@popeye.cc.u-tokyo.ac.jp>
Date: Tue, 4 Oct 2016 14:35:25 +0900
Subject: [PATCH] A signal may not sometimes arrive to a thread.

---
 executer/user/mcexec.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
index cf4cea34..2fe80139 100644
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -1695,7 +1695,7 @@ kill_thread(unsigned long tid)
 {
 	int	i;
 
-	for (i = 0; i < n_threads; ++i) {
+	for (i = 0; i <= n_threads; ++i) {
 		if(thread_data[i].remote_tid == tid){
 			pthread_kill(thread_data[i].thread_id, LOCALSIG);
 			break;