(sessionId: string, patch: SessionHeaderPatch)
| 5237 | } |
| 5238 | |
| 5239 | private async updateHeader(sessionId: string, patch: SessionHeaderPatch): Promise<SessionHeader> { |
| 5240 | const next = await this.deps.store.updateHeader(sessionId, patch); |
| 5241 | this.runtimeKernel.updateCachedHeader(sessionId, next); |
| 5242 | return next; |
| 5243 | } |
| 5244 | |
| 5245 | private async isPlanOperationReplay( |
| 5246 | sessionId: string, |
no test coverage detected