diff options
| author | Paul Buetow <paul@buetow.org> | 2026-03-27 15:43:46 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-03-27 15:43:46 +0200 |
| commit | 73567cc1e5a3a02d4c60c534122e8db9e8a82949 (patch) | |
| tree | 31ffd4831ad86dda22b950ac33239149b3d13202 /src/main/java | |
| parent | 63b658f8fba0790aa5b6bf94d4c89012f552a7ca (diff) | |
Narrow replay task visibility fix
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/core/VSTaskManager.java | 7 | ||||
| -rw-r--r-- | src/main/java/simulator/builder/SimulationBuilder.java | 2 |
2 files changed, 2 insertions, 7 deletions
diff --git a/src/main/java/core/VSTaskManager.java b/src/main/java/core/VSTaskManager.java index c78af5b..bd95a4e 100644 --- a/src/main/java/core/VSTaskManager.java +++ b/src/main/java/core/VSTaskManager.java @@ -553,12 +553,7 @@ public class VSTaskManager implements VSSerializable { for (int i = 0; i < numTasks; ++i) { VSTask task = new VSTask(serialize, objectInputStream); - /* - * Serialized tasks define the replay state of a loaded simulation. - * Register them as programmed so they remain visible in the Event - * view and survive reset/replay after deserialization. - */ - addTask(task, PROGRAMMED); + addTask(task, task.isProgrammed()); } /** For later backwards compatibility, to add more stuff */ diff --git a/src/main/java/simulator/builder/SimulationBuilder.java b/src/main/java/simulator/builder/SimulationBuilder.java index cf5f962..ac78a68 100644 --- a/src/main/java/simulator/builder/SimulationBuilder.java +++ b/src/main/java/simulator/builder/SimulationBuilder.java @@ -308,7 +308,7 @@ public class SimulationBuilder { // Create task VSTask task = new VSTask(st.time, process, st.event, st.isGlobalTimed ? VSTask.GLOBAL : VSTask.LOCAL); - taskManager.addTask(task); + taskManager.addTask(task, VSTaskManager.PROGRAMMED); } } |
