diff --git a/classpath/java/io/PrintStream.java b/classpath/java/io/PrintStream.java index d4aa83eceb..520b676a29 100644 --- a/classpath/java/io/PrintStream.java +++ b/classpath/java/io/PrintStream.java @@ -31,6 +31,7 @@ public class PrintStream extends OutputStream { public synchronized void print(String s) { try { out.write(s.getBytes()); + if (autoFlush) flush(); } catch (IOException e) { } }