(id: string, callId: string, now?: number)
| 213 | } |
| 214 | |
| 215 | function startTool(id: string, callId: string, now?: number): void { |
| 216 | const session = get(id) |
| 217 | session.toolStartTimes.set(callId, now ?? Date.now()) |
| 218 | } |
| 219 | |
| 220 | function endTool(id: string, callId: string, now?: number): number | undefined { |
| 221 | const session = sessions.get(id) |