core: return structured server info with stop method from workspace server

- Enables graceful server shutdown for workspace management
- Removes unsupported serverUrl getter that threw errors in plugin context
This commit is contained in:
Dax Raad
2026-03-10 12:30:46 -04:00
parent 0b686b8178
commit 3154f0a61c
2 changed files with 15 additions and 5 deletions
-4
View File
@@ -34,10 +34,6 @@ export namespace Plugin {
project: Instance.project,
worktree: Instance.worktree,
directory: Instance.directory,
get serverUrl(): URL {
throw new Error("Server URL is no longer supported in plugins")
},
$: () => {},
}
for (const plugin of INTERNAL_PLUGINS) {