()
| 152 | } |
| 153 | |
| 154 | @Override |
| 155 | public void close() throws Exception { |
| 156 | super.close(); |
| 157 | |
| 158 | if (channel != null) { |
| 159 | inputConsumer.stop(); |
| 160 | channel.disconnect(); |
| 161 | textArea.setText(""); |
| 162 | } |
| 163 | |
| 164 | if (session != null) { |
| 165 | session.disconnect(); |
| 166 | } |
| 167 | } |
| 168 | |
| 169 | } |