diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-17 22:41:35 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-17 22:41:35 +0000 |
| commit | 18c6746750cb0c4f5cef6d7ed661e85dab100683 (patch) | |
| tree | a014e7d509f2b7a24a04fd2f8212529ce4d1326a /sources/simulator/VSSimulationPanel.java | |
| parent | 8602c18db94281afd5bc0ceb5930a3d99fbe7a38 (diff) | |
Bugfix: Crash and Recover tasks use global time.
Diffstat (limited to 'sources/simulator/VSSimulationPanel.java')
| -rw-r--r-- | sources/simulator/VSSimulationPanel.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/simulator/VSSimulationPanel.java b/sources/simulator/VSSimulationPanel.java index 8d792a9..ede5d3b 100644 --- a/sources/simulator/VSSimulationPanel.java +++ b/sources/simulator/VSSimulationPanel.java @@ -634,12 +634,12 @@ public class VSSimulationPanel extends JPanel implements Runnable, MouseMotionLi } else if (actionCommand.equals(prefs.getString("lang.crash"))) { VSProcessEvent event = new ProcessCrashEvent(); event.init(process); - taskManager.addTask(new VSTask(process.getTime(), process, event)); + taskManager.addTask(new VSTask(process.getGlobalTime(), process, event)); } else if (actionCommand.equals(prefs.getString("lang.recover"))) { VSProcessEvent event = new ProcessRecoverEvent(); event.init(process); - taskManager.addTask(new VSTask(process.getTime(), process, event)); + taskManager.addTask(new VSTask(process.getGlobalTime(), process, event)); } } }; |
