chore: generate

This commit is contained in:
opencode-agent[bot]
2026-05-22 18:25:01 +00:00
parent 5f42351159
commit 1857c73565
3 changed files with 13 additions and 7 deletions

View File

@@ -155,7 +155,8 @@ const createToolContext = Effect.fn("Cli.debug.agent.createToolContext")(functio
if (error instanceof Provider.ModelNotFoundError) { if (error instanceof Provider.ModelNotFoundError) {
return fail(`Model not found: ${error.providerID}/${error.modelID}`) return fail(`Model not found: ${error.providerID}/${error.modelID}`)
} }
if (error instanceof Provider.NoModelsError) return fail(`No models found for provider ${error.providerID}`) if (error instanceof Provider.NoModelsError)
return fail(`No models found for provider ${error.providerID}`)
return fail("No providers found") return fail("No providers found")
}, },
}), }),

View File

@@ -110,7 +110,10 @@ export interface Interface {
id: PtyID, id: PtyID,
ws: Socket, ws: Socket,
cursor?: number, cursor?: number,
) => Effect.Effect<{ onMessage: (message: string | ArrayBuffer) => void; onClose: () => void } | undefined, NotFoundError> ) => Effect.Effect<
{ onMessage: (message: string | ArrayBuffer) => void; onClose: () => void } | undefined,
NotFoundError
>
} }
export class Service extends Context.Service<Service, Interface>()("@opencode/Pty") {} export class Service extends Context.Service<Service, Interface>()("@opencode/Pty") {}

View File

@@ -185,11 +185,13 @@ export const ptyConnectRoute = HttpRouter.use((router) =>
writeScoped(write(new Socket.CloseEvent(code, reason))) writeScoped(write(new Socket.CloseEvent(code, reason)))
}, },
} }
const handler = yield* pty.connect(params.ptyID, adapter, cursor).pipe( const handler = yield* pty
Effect.catchTag("Pty.NotFoundError", () => .connect(params.ptyID, adapter, cursor)
closeAccepted(new Socket.CloseEvent(4404, "session not found")).pipe(Effect.as(undefined)), .pipe(
), Effect.catchTag("Pty.NotFoundError", () =>
) closeAccepted(new Socket.CloseEvent(4404, "session not found")).pipe(Effect.as(undefined)),
),
)
if (!handler) return HttpServerResponse.empty() if (!handler) return HttpServerResponse.empty()
// No `pending[]`-style early-frame buffer (the legacy handler had one). // No `pending[]`-style early-frame buffer (the legacy handler had one).