+1

One nitpick: it would be nice to log the original IOException in Source.dump() to see why the write failed.

Hannes

Am 2015-05-12 um 08:03 schrieb A. Sundararajan:
Please review http://cr.openjdk.java.net/~sundar/8080090/ for https://bugs.openjdk.java.net/browse/JDK-8080090

Thanks,
-Sundar

Reply via email to