gdb_end_session
Terminate a GDB debugging session and clean up associated resources.
Instructions
End a GDB debugging session and clean up resources.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes | The session identifier returned by gdb_start_session. |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |