(executionId: string | undefined, file: UserFile)
| 302 | } |
| 303 | |
| 304 | function getFullCacheKey(executionId: string | undefined, file: UserFile): string { |
| 305 | const fileKey = getFileCacheKey(file) |
| 306 | if (executionId) { |
| 307 | return `${REDIS_KEY_PREFIX}exec:${executionId}:${fileKey}` |
| 308 | } |
| 309 | return `${REDIS_KEY_PREFIX}${fileKey}` |
| 310 | } |
| 311 | |
| 312 | function getBudgetIndexKey(executionId: string): string { |
| 313 | return `${REDIS_BUDGET_KEY_PREFIX}exec:${executionId}` |
no test coverage detected