Function pruneCoderActivityMap

src/node/runtime/CoderSSHRuntime.ts:69–75

(activityByWorkspace: Map<string, number>, now: number)

const coderLastActivityByService = new WeakMap<CoderService, Map<string, number>>();

function pruneCoderActivityMap(activityByWorkspace: Map<string, number>, now: number): void {
  for (const [workspaceName, lastActivityAtMs] of activityByWorkspace) {
    if (now - lastActivityAtMs >= CODER_INACTIVITY_THRESHOLD_MS) {
      activityByWorkspace.delete(workspaceName);
    }
  }
}

function getCoderActivityMap(coderService: CoderService): Map<string, number> {
  let activityByWorkspace = coderLastActivityByService.get(coderService);