(workspaceId: string)
| 374 | } |
| 375 | |
| 376 | private getSessionFilePath(workspaceId: string): string { |
| 377 | return path.join(this.config.getSessionDir(workspaceId), "devtools.jsonl"); |
| 378 | } |
| 379 | |
| 380 | private getOrCreateWorkspaceData(workspaceId: string): WorkspaceData { |
| 381 | let data = this.workspaces.get(workspaceId); |
no test coverage detected