tweak: add ctx.abort to grep tool
This commit is contained in:
@@ -54,6 +54,7 @@ export const GrepTool = Tool.define("grep", {
|
|||||||
const proc = Bun.spawn([rgPath, ...args], {
|
const proc = Bun.spawn([rgPath, ...args], {
|
||||||
stdout: "pipe",
|
stdout: "pipe",
|
||||||
stderr: "pipe",
|
stderr: "pipe",
|
||||||
|
signal: ctx.abort,
|
||||||
})
|
})
|
||||||
|
|
||||||
const output = await new Response(proc.stdout).text()
|
const output = await new Response(proc.stdout).text()
|
||||||
|
|||||||
Reference in New Issue
Block a user