Changeset 647 for trunk/quest-plugin-mfc/src/main/java

Timestamp:

08/27/12 17:53:14 (12 years ago)

Author:

pharms

Message:

• fixed one of the last bugs in the replay generation after refactoring

File:

• trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/eventcore/ReplayWindowsMessage.java (modified) (1 diff)

trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/eventcore/ReplayWindowsMessage.java

@@ -62 +62 @@
               replayedMessage.getTarget(),
               replayedMessage.getParameters());
+        
+        // the target may have changed in the meantime. So reset the targetXML to the one stored
+        // with the provided message
+        if (!super.getTargetXML().equals(replayedMessage.getTargetXML())) {
+            setTargetXML(replayedMessage.getTargetXML());
+        }
     }