From f5c46e1f487b2465f0cb9bcd3962381730735e04 Mon Sep 17 00:00:00 2001
From: Torsten Merz <torsten.merz@gmx.de>
Date: Mon, 13 Sep 2021 11:01:53 +1000
Subject: [PATCH] bug fix - parent process was not killed in process kill
 function

---
 smi/src/taskdisp_nrt.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/smi/src/taskdisp_nrt.c b/smi/src/taskdisp_nrt.c
index 931eec9..09f476f 100644
--- a/smi/src/taskdisp_nrt.c
+++ b/smi/src/taskdisp_nrt.c
@@ -103,10 +103,12 @@ void killProcess_(processType nrtProcessID)
 	) {
 		printf("[killProcess_] killing process %lld nrtProcessID=%d\n",
 			(long long int)shm->pid[nrtProcessID],nrtProcessID); 
-//		sprintf(str,"kill -9 %lld\n",(long long int)shm->pid[nrtProcessID]);
-// kill also child procresses
+// kill child procresses
 		sprintf(str,"pkill -9 -P %lld\n",(long long int)shm->pid[nrtProcessID]);
 		ret=system(str);
+// kill parent process
+		sprintf(str,"kill -9 %lld\n",(long long int)shm->pid[nrtProcessID]);
+		ret=system(str);
                 ret=ret; // eliminate compiler warning
 		usleep(STD_SLEEP); // possibly longer sleep time required
 	for (i=0;i<shm->numberOfTaskStates;i++) {
-- 
GitLab