(workspaceName = this.coderConfig.workspaceName)
| 131 | } |
| 132 | |
| 133 | private markActivity(workspaceName = this.coderConfig.workspaceName): void { |
| 134 | if (!workspaceName) { |
| 135 | return; |
| 136 | } |
| 137 | |
| 138 | const now = Date.now(); |
| 139 | const activityByWorkspace = getCoderActivityMap(this.coderService); |
| 140 | pruneCoderActivityMap(activityByWorkspace, now); |
| 141 | activityByWorkspace.set(workspaceName, now); |
| 142 | } |
| 143 | |
| 144 | private coderWorkspaceNotFound(workspaceName: string): EnsureReadyResult { |
| 145 | return { |
no test coverage detected