121122123124125126127128129130131
// add a connection listener connectorView.addConnectionListener(this); connectorView.setPartName(TERMINAL_VIEW_LABEL); connectorView.onTerminalDisconnect(); // remove from the active connectors connectors.remove(server); }