Actually is using server-sent events

code-asher · code-asher · commit 87c3e999a416 · 2023-08-18T08:04:27.000-08:00
diff --git a/src/workspacesProvider.ts b/src/workspacesProvider.ts
@@ -73,7 +73,7 @@ export class WorkspaceProvider implements vscode.TreeDataProvider<vscode.TreeIte
     return Promise.resolve(this.workspaces)
   }
 
-  // monitorMetadata opens a web socket to monitor metadata on the specified
+  // monitorMetadata opens an SSE endpoint to monitor metadata on the specified
   // agent and registers a disposer that can be used to stop the watch.
   monitorMetadata(agentId: WorkspaceAgent["id"], token: string): void {
     const agentMetadataURL = new URL(`${this.storage.getURL()}/api/v2/workspaceagents/${agentId}/watch-metadata`)

Original file line number	Diff line number	Diff line change
`@@ -73,7 +73,7 @@ export class WorkspaceProvider implements vscode.TreeDataProvider<vscode.TreeIte`
`73`	`73`	`return Promise.resolve(this.workspaces)`
`74`	`74`	`}`
`75`	`75`
`76`		`- // monitorMetadata opens a web socket to monitor metadata on the specified`
	`76`	`+ // monitorMetadata opens an SSE endpoint to monitor metadata on the specified`
`77`	`77`	`// agent and registers a disposer that can be used to stop the watch.`
`78`	`78`	`monitorMetadata(agentId: WorkspaceAgent["id"], token: string): void {`
`79`	`79`	const agentMetadataURL = new URL(`${this.storage.getURL()}/api/v2/workspaceagents/${agentId}/watch-metadata`)