changeset 13144:b6b930315135

Use default charset instead of US-ASCII in BasicIdealGraphPrinter
author Erik Eckstein <erik.eckstein@oracle.com>
date Mon, 25 Nov 2013 13:49:20 +0100
parents 4e599571ddb2
children 3e5555577ebc
files graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BasicIdealGraphPrinter.java
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BasicIdealGraphPrinter.java	Mon Nov 25 13:48:13 2013 +0100
+++ b/graal/com.oracle.graal.printer/src/com/oracle/graal/printer/BasicIdealGraphPrinter.java	Mon Nov 25 13:49:20 2013 +0100
@@ -23,6 +23,7 @@
 package com.oracle.graal.printer;
 
 import java.io.*;
+import java.nio.charset.*;
 import java.util.*;
 import java.util.Map.Entry;
 
@@ -90,7 +91,7 @@
             } else {
                 buffered = new BufferedOutputStream(stream, 256 * 1024);
             }
-            this.stream = new PrintStream(buffered, false, "US-ASCII");
+            this.stream = new PrintStream(buffered, false, Charset.defaultCharset().name());
         } catch (UnsupportedEncodingException e) {
             throw new RuntimeException(e);
         }