()
| 537 | } |
| 538 | |
| 539 | function generateIndexForAllSources() { |
| 540 | const indexService = useSessionIndexService() |
| 541 | const threshold = getSessionGapThreshold() |
| 542 | for (const ds of dataSources.value) { |
| 543 | for (const sess of ds.sessions) { |
| 544 | if (sess.targetSessionId) { |
| 545 | indexService.generateIncremental(sess.targetSessionId, threshold).catch(() => {}) |
| 546 | } |
| 547 | } |
| 548 | } |
| 549 | } |
| 550 | |
| 551 | async function fetchRemoteSessions( |
| 552 | baseUrl: string, |
no test coverage detected