Changeset 997

Timestamp:

11/19/12 15:53:58 (12 years ago)

Author:

pharms

Message:

• corrected encoding of output files

File:

• trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java (modified) (1 diff)

trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java

@@ -271 +271 @@
      */
     private void dumpString(String str) {
+        String value = str;
+        value = value.replaceAll("\\\\", "\\\\\\\\");
+        value = value.replaceAll("\\\"", "\\\\\\\"");
+        value = value.replaceAll("\n", "\\\\n");
+        
         outputWriter.print('"');
-        outputWriter.print
-            (str.replaceAll("\\\\", "\\\\").replaceAll("\\\"", "\\\"").replaceAll("\n", " "));
+        outputWriter.print(value);
         outputWriter.print('"');
     }