Skip to content

master  #17

Description

sessions: add developer command to kill SSH remote agent host

Add a Developer: Kill Remote Agent Host (SSH)... command
(workbench.action.sessions.killRemoteAgentHostSSH) that lets developers
kill a wedged remote agent host process and tear down the SSH tunnel.

  • Add killRemoteAgentHost(host) to ISSHRemoteAgentHostService and
    ISSHRemoteAgentHostMainService interfaces
  • Implement in SSHRemoteAgentHostMainService using the existing
    cleanupRemoteAgentHost helper, then dispose the connection
  • Proxy through the renderer-side service and add a no-op to the
    null browser implementation
  • Register a Developer category action that quick-picks from active
    SSH connections and calls killRemoteAgentHost

Co-authored-by: Copilot 223556219+Copilot@users.noreply.github.com

Metadata

Metadata

Labels

bugSomething isn't workingdependenciesPull requests that update a dependency filedocumentationImprovements or additions to documentationduplicateThis issue or pull request already existsenhancementNew feature or requestgood first issueGood for newcomershelp wantedExtra attention is neededinvalidThis doesn't seem rightjavaPull requests that update java codejavascriptPull requests that update javascript codemastermainpythonPull requests that update python codequestionFurther information is requestedwontfixThis will not be worked on
No fields configured for Feature.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions