Add finally clause to send complete in CTMainThread

nickbattle · Dec 20, 2021 · 7ad96f2 · 7ad96f2
1 parent 463bc70
commit 7ad96f2
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/scheduler/CTMainThread.java b/vdmj/src/main/java/com/fujitsu/vdmj/scheduler/CTMainThread.java
@@ -28,6 +28,7 @@
 import java.util.Vector;
 
 import com.fujitsu.vdmj.debug.DebugLink;
+import com.fujitsu.vdmj.debug.DebugReason;
 import com.fujitsu.vdmj.in.statements.INStatement;
 import com.fujitsu.vdmj.in.traces.INTraceVariableStatement;
 import com.fujitsu.vdmj.lex.LexLocation;
@@ -161,6 +162,13 @@ public void body()
 				result.add(Verdict.FAILED);
 			}
 		}
+		finally
+		{
+			if (debug)
+			{
+				DebugLink.getInstance().complete(DebugReason.OK, null);
+			}
+		}
 	}
 
 	@Override