Changeset 308

Timestamp:

12/13/11 16:51:45 (12 years ago)

Author:

sherbold

Message:

• now specifies character encoding of file explicitly instead of assuming default encoding

File:

• trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/Runner.java (modified) (2 diffs)

trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/Runner.java

@@ -7 +7 @@
 import java.io.IOException;
 import java.io.OutputStreamWriter;
+import java.io.UnsupportedEncodingException;
 import java.util.Arrays;
 
@@ -64 +65 @@
 
                 if (stdOutputWrite) {
-                        AWTEventListener listenerStdOut = new JFCListener(
-                                        new OutputStreamWriter(System.out));
-                        Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut,
-                                        AWTEvent.KEY_EVENT_MASK);
-                        Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut,
-                                        AWTEvent.MOUSE_EVENT_MASK);
+                        AWTEventListener listenerStdOut;
+                        try {
+                                listenerStdOut = new JFCListener(new OutputStreamWriter(
+                                                System.out, "UTF-8"));
+                                Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut,
+                                                AWTEvent.KEY_EVENT_MASK);
+                                Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut,
+                                                AWTEvent.MOUSE_EVENT_MASK);
+                        } catch (UnsupportedEncodingException e) {
+                                System.err
+                                                .println("JFCMONITOR -- failure to create OutputStreamWriter with UTF-8 encoding to System.out");
+                        }
                 }