Changeset 795 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs
- Timestamp:
- 09/07/12 11:22:34 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCTraceCorrector.java
r792 r795 22 22 import org.xml.sax.helpers.DefaultHandler; 23 23 24 import de.ugoe.cs.util.StringTools; 24 25 import de.ugoe.cs.util.console.Console; 25 26 … … 611 612 out.print(indent); 612 613 out.print("<param name=\""); 613 out.print( param[0]);614 out.print(StringTools.xmlEntityReplacement(param[0])); 614 615 out.print("\" value=\""); 615 out.print( param[1]);616 out.print(StringTools.xmlEntityReplacement(param[1])); 616 617 out.println("\" />"); 617 618 } … … 655 656 private void dump(PrintStream out) { 656 657 out.print("<event id=\""); 657 out.print( id);658 out.print(StringTools.xmlEntityReplacement(id)); 658 659 out.println("\">"); 659 660
Note: See TracChangeset
for help on using the changeset viewer.