9 Feb
2013
9 Feb
'13
9:29 a.m.
On 09.02.2013, at 10:29, Fabian Groffen
On 09-02-2013 10:25:22 +0100, Hannes Mühleisen wrote:
The solution is to add something like the following after the out.newLine() on line 86:
error = in.waitForPrompt();
if (error != null) {
throw new Exception(error);
}
You are right, that can happen. We will update this to the mentioned file soon. Thanks for providing the solution!
I think it's a good suggestion and I was about to commit it soon, however, since I didn't start it yet, did you start on it? Then I'll just do nothing. Please go ahead, I have no dev environment on my private system here.
Best, Hannes