Function markStale

desktop/runtime/settings-refresh.ts:157–165

(sessionPath: string | null | undefined)

  }

  function markStale(sessionPath: string | null | undefined) {
    const runtimeKey = getPersistedSessionPath(sessionPath ?? null)
    if (!runtimeKey) {
      return
    }

    staleGenerations.set(runtimeKey, (staleGenerations.get(runtimeKey) ?? 0) + 1)
    void reloadIfSafe(runtimeKey).catch(() => undefined)
  }

  function markStaleForProject(projectPath?: string | undefined | null | undefined) {
    if (projectPath !== null && projectPath !== undefined && projectPath.trim().length === 0) {