public void readlineInputLoop(String home, File history) {
public void readlineInputLoop(String home) {
	public void readlineInputLoop(String home, File history) {		String line;		boolean cont= true;		while (cont)			try {				if (properties.getProperty("colors").equals("true"))					line=						Readline.readline(							ANSI_CYAN + "exist:" + path + ">" + ANSI_WHITE);				else					line= Readline.readline("exist:" + path + ">");				if (line != null)					cont= process(line);			} catch (EOFException e) {				break;			} catch (IOException ioe) {				System.err.println(ioe);			}		try {			Readline.writeHistoryFile(history.getAbsolutePath());		} catch (Exception e) {		}		Readline.cleanup();		shutdown(false);		messageln("quit.");	}