close_workspace
Shut down a workspace's worker and free its pool slot; unsaved documents and handles are lost, and closing the current workspace returns to default.
Instructions
Shut down a workspace's worker and free its pool slot. All of that workspace's documents, unsaved changes, and handles are lost. Closing the workspace you are currently in returns you to the "default" workspace. The default workspace can be closed too (its worker respawns clean on next use). Returns {closed: , workspace: , current: }.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes |