From 7b0f46c4389820d6975ee1b242e317cd060b2471 Mon Sep 17 00:00:00 2001
From: Faezeh Khorram <khorram.faezeh@gmail.com>
Date: Fri, 13 May 2022 09:18:46 +0200
Subject: [PATCH] Update K3EventManagerLauncher.java

---
 .../imt/tdl/eventBasedEngine/K3EventManagerLauncher.java   | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/org.imt.tdl.configuration/src/org/imt/tdl/eventBasedEngine/K3EventManagerLauncher.java b/org.imt.tdl.configuration/src/org/imt/tdl/eventBasedEngine/K3EventManagerLauncher.java
index bde3401f5..15284045a 100644
--- a/org.imt.tdl.configuration/src/org/imt/tdl/eventBasedEngine/K3EventManagerLauncher.java
+++ b/org.imt.tdl.configuration/src/org/imt/tdl/eventBasedEngine/K3EventManagerLauncher.java
@@ -320,7 +320,12 @@ public class K3EventManagerLauncher implements IEventBasedExecutionEngine{
 			result = "FAIL:There are extra received events";
 		}
 		this.executionEngineJob.cancel();
-		this.executionEngineJob.getThread().interrupt();
+		try {
+			this.executionEngineJob.getThread().interrupt();
+		}
+		catch (NullPointerException e) {
+			//e.printStackTrace();
+		}
 		return result;
 	}
 	
-- 
GitLab