|
|
@@ -86,16 +86,16 @@ public class DefaultInputHandler implements InputHandler { |
|
|
|
try { |
|
|
|
in = |
|
|
|
new DataInputStream(new KeepAliveInputStream(getInputStream())); |
|
|
|
do { |
|
|
|
System.err.println(prompt); |
|
|
|
try { |
|
|
|
String input = in.readLine(); |
|
|
|
request.setInput(input); |
|
|
|
} catch (IOException e) { |
|
|
|
throw new BuildException("Failed to read input from Console.", |
|
|
|
e); |
|
|
|
} |
|
|
|
} while (!request.isInputValid()); |
|
|
|
do { |
|
|
|
System.err.println(prompt); |
|
|
|
try { |
|
|
|
String input = in.readLine(); |
|
|
|
request.setInput(input); |
|
|
|
} catch (IOException e) { |
|
|
|
throw new BuildException("Failed to read input from" |
|
|
|
+ " Console.", e); |
|
|
|
} |
|
|
|
} while (!request.isInputValid()); |
|
|
|
} finally { |
|
|
|
if (in != null) { |
|
|
|
try { |
|
|
|