(ownerWorkspaceId: string, id: string)
| 147 | } |
| 148 | |
| 149 | private file(ownerWorkspaceId: string, id: string): string { |
| 150 | return path.join(this.dir(ownerWorkspaceId), `${encodeURIComponent(id)}.json`); |
| 151 | } |
| 152 | |
| 153 | async enqueueOrMergePending(payload: BashMonitorWakePayload): Promise<BashMonitorWakeRecord> { |
| 154 | assert(payload.workspaceId.trim().length > 0, "enqueueOrMergePending requires workspaceId"); |