quit_gdb
Detach the MCP plugin from gdb to end the debugging session. Optionally kill gdb and the debugged process, or leave gdb running by default.
Instructions
Detach the MCP plugin from gdb. With kill_gdb=True, also quit gdb itself (and with it the debugged process). Default leaves the externally launched gdb running.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kill_gdb | No | ||
| session_id | No |