dolphin_disconnect
Disconnect from a running Dolphin DAP session. Optionally terminate the Dolphin process that this server started, releasing all resources.
Instructions
Disconnect DAP and optionally terminate a Dolphin process started by this server.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| terminateDolphin | No |