fix: await SessionRevert.cleanup for shell (#10669)

pull/10090/merge
Noam Bressler 2026-01-26 14:36:17 +02:00 committed by GitHub
parent 444934a4c1
commit 6b83b172ae
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -1349,7 +1349,7 @@ NOTE: At any point in time through this workflow you should feel free to ask the
const session = await Session.get(input.sessionID)
if (session.revert) {
SessionRevert.cleanup(session)
await SessionRevert.cleanup(session)
}
const agent = await Agent.get(input.agent)
const model = input.model ?? agent.model ?? (await lastModel(input.sessionID))