kill ssh session when closing tab - fixes #3207

This commit is contained in:
Eugene Pankov 2021-05-15 19:15:40 +02:00
parent edb07e155c
commit c39826bd16
No known key found for this signature in database
GPG key ID: 5896FCBBDD1CF4F4

View file

@ -379,6 +379,8 @@ export class SSHSession extends BaseSession {
async destroy (): Promise<void> { async destroy (): Promise<void> {
this.serviceMessage.complete() this.serviceMessage.complete()
this.proxyCommandStream?.destroy() this.proxyCommandStream?.destroy()
this.kill()
this.ssh.end()
await super.destroy() await super.destroy()
} }