gdb_terminate
End a GDB debugging session by specifying its session ID, enabling efficient management of debugging processes in the MCP GDB Server.
Instructions
Terminate a GDB session
Input Schema
Name | Required | Description | Default |
---|---|---|---|
sessionId | Yes | GDB session ID |
Input Schema (JSON Schema)
{
"properties": {
"sessionId": {
"description": "GDB session ID",
"type": "string"
}
},
"required": [
"sessionId"
],
"type": "object"
}