Explicitly specify output encoding in marketcheck.

FileWriter uses "the default character encoding", which seems like
asking to live in interesting times. The program assumes UTF-8 when
it reads the file, so it should obviously do the same when it writes
it back.

diff --git a/marketcheck/test.java b/marketcheck/test.java
index 2a34a67d7a8b05df29badb42da7791746971900d..1afa631c495cfe1fb24cce9544c5d98b404b6400 100644 (file)
--- a/marketcheck/test.java
+++ b/marketcheck/test.java
@@ -101,10 +101,13 @@ class test {
 \r
                                 if (changed) { \r
                                     System.out.println("..updating");\r
-                                    File of = new File(filespec);\r
-                                    BufferedWriter wi = new BufferedWriter(new FileWriter(of));\r
+                                    FileOutputStream fo = new FileOutputStream(filespec);\r
+                                    OutputStreamWriter osr = new OutputStreamWriter(fo, "UTF-8");\r
+                                    BufferedWriter wi = new BufferedWriter(osr);\r
                                     wi.write(output.toString());\r
                                     wi.close();\r
+                                    osr.close();\r
+                                    fo.close();\r
                                 }\r
 \r
                             }\r