ssh_disconnect
Close an SSH connection, terminating any running jobs and removing the host alias from the registry. Returns removed=false if alias wasn't registered for safe cleanup.
Instructions
Close the SSH connection to a host and remove it from the registry. Any running jobs on that host are terminated (their channels are closed). After this call the alias is no longer valid for other tools.
Returns removed=false (not an error) if the alias wasn't registered — useful for idempotent cleanup.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| alias | Yes | The alias returned by ``ssh_connect`` or listed in ``ssh_list_hosts``. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||