if(settings != null && !settings.isHistoryDisabled()) {
if(settings != null) {
if(settings.isHistoryPersistent())
history = new FileHistory(settings.getHistoryFile(), settings.getHistorySize());
else
history = new InMemoryHistory(settings.getHistorySize());
}
}
else {
if(persistHistory && historyFile != null)
history = new FileHistory(historyFile, historySize);
else
history = new InMemoryHistory(historySize);
}
return new AeshInputProcessor(consoleBuffer, history, completion, interruptHook, enableHistory, enableSearch);
}
catch (IOException e) {