leave_session
Leaves a dzStudio collaboration session after changes reach the server, waiting up to 10 seconds; use confirm to exit even when changes remain unsent.
Instructions
Leave a session once every change has reached the server (waits up to 10 s). With confirm, leave even if changes are still unsent.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "leave_session"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| confirm | No | ||
| session | No | Session handle (s1, s2 …) or session id; default: the current session |