public void run()

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);
        }
      }
    }