close_session
Terminate SSH connections to remote hosts by specifying hostname, IP address, or SSH config alias to free up system resources and end remote sessions.
Instructions
Close a specific SSH session.
The host parameter can be either a hostname/IP or an SSH config alias.
Args: host: Hostname, IP address, or SSH config alias username: SSH username (optional, will use SSH config or current user) port: SSH port (optional, will use SSH config or default 22)
Input Schema
Name | Required | Description | Default |
---|---|---|---|
host | Yes | ||
port | No | ||
username | No |
Input Schema (JSON Schema)
{
"properties": {
"host": {
"type": "string"
},
"port": {
"anyOf": [
{
"type": "integer"
},
{
"type": "null"
}
],
"default": null
},
"username": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null
}
},
"required": [
"host"
],
"type": "object"
}