diff options
Diffstat (limited to 'packages/server/src/tools/grep.ts')
| -rw-r--r-- | packages/server/src/tools/grep.ts | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/packages/server/src/tools/grep.ts b/packages/server/src/tools/grep.ts index e3253ecf..54391832 100644 --- a/packages/server/src/tools/grep.ts +++ b/packages/server/src/tools/grep.ts @@ -166,7 +166,10 @@ export class GrepTool extends BaseTool<GrepToolParams, ToolResult> { * @param params Parameters for the grep search * @returns Result of the grep search */ - async execute(params: GrepToolParams): Promise<ToolResult> { + async execute( + params: GrepToolParams, + _signal: AbortSignal, + ): Promise<ToolResult> { const validationError = this.validateToolParams(params); if (validationError) { console.error( |