terminal_close
End and clean up a terminal session by specifying the session ID, ensuring efficient resource management and freeing up system capacity.
Instructions
Close a terminal session and cleanup resources
Args: session_id: ID of the terminal session
Returns: Dictionary with cleanup status
Input Schema
Name | Required | Description | Default |
---|---|---|---|
session_id | Yes |
Input Schema (JSON Schema)
{
"properties": {
"session_id": {
"title": "Session Id",
"type": "string"
}
},
"required": [
"session_id"
],
"type": "object"
}