@Override public void saveHistory(String commandLine, String result) { if (commandHistory != null) commandHistory.saveHistory(commandLine, result); }
@Override public String showHistory() { return commandHistory == null ? "history disabled" : commandHistory.showHistory(); }