Ignore:
Timestamp:
12/13/11 16:51:45 (13 years ago)
Author:
sherbold
Message:
  • now specifies character encoding of file explicitly instead of assuming default encoding
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/jfc/commands/CMDpreprocessJFC.java

    r305 r309  
    22 
    33import java.io.File; 
     4import java.io.FileInputStream; 
    45import java.io.FileNotFoundException; 
    5 import java.io.FileReader; 
    6 import java.io.FileWriter; 
     6import java.io.FileOutputStream; 
    77import java.io.IOException; 
     8import java.io.InputStreamReader; 
     9import java.io.OutputStreamWriter; 
     10import java.io.UnsupportedEncodingException; 
    811import java.security.InvalidParameterException; 
    912import java.util.List; 
     
    4245 
    4346                File file = new File(source); 
    44                 FileReader fileReader; 
     47                InputStreamReader reader; 
    4548                try { 
    46                         fileReader = new FileReader(file); 
     49                        FileInputStream fis = new FileInputStream(file); 
     50                        reader = new InputStreamReader(fis, "UTF-16"); 
    4751                } catch (FileNotFoundException e) { 
     52                        Console.printerrln(e.getMessage()); 
     53                        return; 
     54                } catch (UnsupportedEncodingException e) { 
    4855                        Console.printerrln(e.getMessage()); 
    4956                        return; 
     
    5158                char[] buffer = new char[(int) file.length()]; 
    5259                try { 
    53                         fileReader.read(buffer); 
    54                         fileReader.close(); 
     60                        reader.read(buffer); 
     61                        reader.close(); 
    5562                } catch (IOException e) { 
    5663                        Console.printerrln(e.getMessage()); 
     
    6067                String content = new String(buffer).trim(); 
    6168 
    62                 FileWriter writer; 
     69                OutputStreamWriter writer; 
    6370                try { 
    64                         writer = new FileWriter(target); 
     71                        FileOutputStream fos = new FileOutputStream(target); 
     72                        writer = new OutputStreamWriter(fos, "UTF-16"); 
    6573                } catch (IOException e) { 
    6674                        Console.printerrln(e.getMessage()); 
     
    7280                                writer.write("</sessions>"); 
    7381                        } 
     82                        writer.close(); 
    7483                } catch (IOException e) { 
    7584                        Console.printerrln(e.getMessage()); 
Note: See TracChangeset for help on using the changeset viewer.