in ui/src/com/jediterm/terminal/ui/JediTermWidget.java [391:424]
public void run() {
TtyConnector ttyConnector = myStarter.getTtyConnector();
try {
if (ttyConnector.init(myPreConnectHandler)) {
myTerminalPanel.addCustomKeyListener(myTerminalPanel.getTerminalKeyListener());
myTerminalPanel.removeCustomKeyListener(myPreConnectHandler);
myStarter.start();
}
}
catch (Exception e) {
LOG.error("Exception running terminal", e);
}
finally {
try {
ttyConnector.close();
}
catch (Exception ignored) {
}
try {
for (TerminalWidgetListener listener : myListeners) {
listener.allSessionsClosed(JediTermWidget.this);
}
}
catch (Exception e) {
LOG.error("Unhandled exception when closing terminal", e);
}
try {
myOnDone.run();
}
catch (Exception e) {
LOG.error("Unhandled exception when closing terminal", e);
}
}
}