5657585960616263646566
if (errors.isEmpty()) { Result result = shell.execute(command); if (result != null && result.getMessage() != null) { console.out().println(result.getMessage()); } } else { // Display the error messages
124125126127128129130131132133134
{ man.setFile(docUrl.openStream(), docUrl.getPath()); man.attach(((ShellContext) context).getConsoleOutput()); } else console.out().println("No manual page found for: " + commandName); } catch (Exception ioe) { return Results.fail(ioe.getMessage());