Minor tweaks

d-leroy · d-leroy · commit c8a135fea329 · 2016-04-07T17:02:56.000+02:00
diff --git a/java_execution/java_engine/plugins/org.gemoc.execution.sequential.javaengine.ui/src/org/gemoc/execution/sequential/javaengine/ui/debug/GenericSequentialModelDebugger.java b/java_execution/java_engine/plugins/org.gemoc.execution.sequential.javaengine.ui/src/org/gemoc/execution/sequential/javaengine/ui/debug/GenericSequentialModelDebugger.java
@@ -48,7 +48,16 @@ public class GenericSequentialModelDebugger extends AbstractGemocDebugger {
 	public GenericSequentialModelDebugger(IDSLDebugEventProcessor target, ISequentialExecutionEngine engine) {
 		super(target, engine);
 	}
-
+	
+	@Override
+	public boolean control(String threadName, EObject instruction) {
+		if (!isTerminated() && instruction instanceof LogicalStep) {
+			return true;
+		} else {
+			return super.control(threadName, instruction);
+		}
+	}
+	
 	@Override
 	/*
 	 * This method is eventually called within a new engine thread.
