protected void done(String line) {
	    history.add(line);
	    try {
		ui.cons.run(line);
	    } catch(Exception e) {
		ui.cons.out.println(e.getMessage());
		error(e.getMessage());
	    }
	    cancel();
	}