equal
deleted
inserted
replaced
248 // should not happen as the GrumpyHelper will throw exceptions |
248 // should not happen as the GrumpyHelper will throw exceptions |
249 // in case of errors |
249 // in case of errors |
250 throw new IllegalArgumentException(flag); |
250 throw new IllegalArgumentException(flag); |
251 } |
251 } |
252 } |
252 } |
|
253 |
|
254 optionTable.notifyListeners(); |
253 } |
255 } |
254 |
256 |
255 public int run(InputStream in, OutputStream out, OutputStream err, String... arguments) { |
257 public int run(InputStream in, OutputStream out, OutputStream err, String... arguments) { |
256 if (err == null) |
258 if (err == null) |
257 err = System.err; |
259 err = System.err; |