Method bashMonitorWakeKey

src/node/services/workspaceService.ts:1722–1726

(ownerWorkspaceId: string, wakeId: string)

  }

  private bashMonitorWakeKey(ownerWorkspaceId: string, wakeId: string): string {
    assert(ownerWorkspaceId.trim().length > 0, "bashMonitorWakeKey requires ownerWorkspaceId");
    assert(wakeId.trim().length > 0, "bashMonitorWakeKey requires wakeId");
    return `${ownerWorkspaceId}:${wakeId}`;
  }

  private async drainBashMonitorWakes(ownerWorkspaceId: string): Promise<void> {
    const pending = (await this.bashMonitorWakeStore.listPending(ownerWorkspaceId)).filter(