webidor/src/main/java/cz/xelfi/quoridor/webidor/resources/Games.java
changeset 117 c1057591a344
parent 115 6a80463a74c0
child 128 eba04a2569d0
     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  }