diff options
Diffstat (limited to 'java/io/PipedInputStream.java')
-rw-r--r-- | java/io/PipedInputStream.java | 19 |
1 files changed, 2 insertions, 17 deletions
diff --git a/java/io/PipedInputStream.java b/java/io/PipedInputStream.java index 692204320..c7e20022f 100644 --- a/java/io/PipedInputStream.java +++ b/java/io/PipedInputStream.java @@ -72,23 +72,8 @@ private static boolean try_not_to_block = false; static { - String pipe_prop = System.getProperty("gnu.java.io.PipedInputStream.pipe_size"); - - if (pipe_prop == null) - { - pipe_size = PIPE_SIZE; - } - else - { - try - { - pipe_size = Integer.parseInt(pipe_prop); - } - catch (NumberFormatException e) - { - pipe_size = PIPE_SIZE; - } - } + pipe_size = Integer.getInteger("gnu.java.io.PipedInputStream.pipe_size", + PIPE_SIZE).intValue(); String block_prop = System.getProperty("gnu.java.io.try_not_to_block"); if (block_prop != null) |