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 |