Close Workspace
close_workspaceShut down a workspace's worker to free its pool slot; discards its documents and unsaved changes, and returns you to the default workspace if it was the active one.
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 |