gdb_terminate
Terminate an active GDB debugging session by specifying the session ID. Use this tool to cleanly end debugging processes managed through the MCP GDB Server.
Instructions
Terminate a GDB session
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sessionId | Yes | GDB session ID |