mirror of
https://github.com/openjdk/jdk.git
synced 2026-05-04 02:35:33 +00:00
PipeInputStream.read(byte[]...) should only read available bytes; properly resending exceptions for snippet's System.in and properly closing it; more reliable way to cancel user input while waiting in System.in. Reviewed-by: rfield