commit | 62d5e498cdbb06ff5677977e0774d337d1b853d6 | [log] [tgz] |
---|---|---|
author | Goktug Gokdogan <goktug@google.com> | Thu Mar 30 21:09:21 2017 -0700 |
committer | Goktug Gokdogan <goktug@google.com> | Fri Mar 31 04:10:20 2017 +0000 |
tree | 13df678c691b371edcced775d2ceb81e9761351a | |
parent | 2bb4b897f4589362755ea9e453595028ddd3f821 [diff] |
Fix incompatibility of PrintStream.flush ...which should not throw IOException. Change-Id: If216fc6054a14db4cd17549a0898dde3f8598b15
diff --git a/user/super/com/google/gwt/emul/java/io/PrintStream.java b/user/super/com/google/gwt/emul/java/io/PrintStream.java index 47163e5..fb2739a 100644 --- a/user/super/com/google/gwt/emul/java/io/PrintStream.java +++ b/user/super/com/google/gwt/emul/java/io/PrintStream.java
@@ -81,4 +81,6 @@ public void println(String s) { } + public void flush() { + } }