1.1 --- a/webidor/src/main/java/cz/xelfi/quoridor/webidor/resources/Games.java Mon Sep 28 14:42:19 2009 +0200
1.2 +++ b/webidor/src/main/java/cz/xelfi/quoridor/webidor/resources/Games.java Thu Oct 01 06:06:55 2009 +0200
1.3 @@ -32,10 +32,16 @@
1.4 import java.io.BufferedReader;
1.5 import java.io.BufferedWriter;
1.6 import java.io.File;
1.7 +import java.io.FileInputStream;
1.8 +import java.io.FileOutputStream;
1.9 import java.io.FileReader;
1.10 import java.io.FileWriter;
1.11 import java.io.IOException;
1.12 +import java.io.InputStream;
1.13 +import java.io.InputStreamReader;
1.14 +import java.io.OutputStreamWriter;
1.15 import java.io.PrintWriter;
1.16 +import java.io.Writer;
1.17 import java.util.ArrayList;
1.18 import java.util.Collections;
1.19 import java.util.Date;
1.20 @@ -212,7 +218,8 @@
1.21 private static final Pattern saidWho = Pattern.compile("# *([^ ]*) *@(.*):$");
1.22
1.23 private Game readGame(File f) throws IOException {
1.24 - BufferedReader r = new BufferedReader(new FileReader(f));
1.25 + InputStream is = new FileInputStream(f);
1.26 + BufferedReader r = new BufferedReader(new InputStreamReader(is, "UTF-8"));
1.27 String white = null;
1.28 String black = null;
1.29 Game g = null;
1.30 @@ -308,7 +315,9 @@
1.31 }
1.32
1.33 final void storeGame(Game g, File f) throws IOException {
1.34 - PrintWriter pw = new PrintWriter(new BufferedWriter(new FileWriter(f)));
1.35 + FileOutputStream os = new FileOutputStream(f);
1.36 + Writer w = new BufferedWriter(new OutputStreamWriter(os, "UTF-8"));
1.37 + PrintWriter pw = new PrintWriter(w);
1.38 pw.println("# white: " + g.getId().getWhite());
1.39 pw.println("# black: " + g.getId().getBlack());
1.40 pw.println("# status: " + g.getId().getStatus());
1.41 @@ -351,5 +360,6 @@
1.42 pw.println();
1.43 pw.flush();
1.44 pw.close();
1.45 + w.close();
1.46 }
1.47 }