Close Session
exec_closeTerminate a running session by ID, freeing resources and joining threads. Idempotent; close every session you start.
Instructions
Kill if running, join threads, free the session. Idempotent: repeat calls return ok, already_closed=true. Close every session you start; sessions persist across requests.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session_id | Yes | Positive id from exec_start. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ok | Yes | ||
| error | No | ||
| already_closed | No |