Ignore:
Timestamp:
11/19/12 15:53:58 (12 years ago)
Author:
pharms
Message:
  • corrected encoding of output files
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java

    r942 r997  
    271271     */ 
    272272    private void dumpString(String str) { 
     273        String value = str; 
     274        value = value.replaceAll("\\\\", "\\\\\\\\"); 
     275        value = value.replaceAll("\\\"", "\\\\\\\""); 
     276        value = value.replaceAll("\n", "\\\\n"); 
     277         
    273278        outputWriter.print('"'); 
    274         outputWriter.print 
    275             (str.replaceAll("\\\\", "\\\\").replaceAll("\\\"", "\\\"").replaceAll("\n", " ")); 
     279        outputWriter.print(value); 
    276280        outputWriter.print('"'); 
    277281    } 
Note: See TracChangeset for help on using the changeset viewer.