209210211212213214215216217218219
return Integer.toString(terminal.getWidth()); } }); session.put(".jline.terminal", terminal); console.run(); terminalFactory.destroy(); } }