()
| 259 | } |
| 260 | |
| 261 | function serverUrl() { |
| 262 | return Effect.gen(function* () { |
| 263 | return HttpServer.formatAddress((yield* HttpServer.HttpServer).address) |
| 264 | }) |
| 265 | } |
| 266 | |
| 267 | function workspaceInfo(projectID: ProjectV2.ID, type: string, input?: Partial<Workspace.Info>): Workspace.Info { |
| 268 | return { |