chore(app): tool args cleanup

This commit is contained in:
Adam 2025-12-31 11:27:56 -06:00
commit 3807364e73
No known key found for this signature in database
GPG key ID: 9CB48779AF150E75
3 changed files with 14 additions and 6 deletions

View file

@ -639,7 +639,7 @@ ToolRegistry.register({
ToolRegistry.register({
name: "grep",
render(props) {
const args = []
const args: string[] = []
if (props.input.pattern) args.push("pattern=" + props.input.pattern)
if (props.input.include) args.push("include=" + props.input.include)
return (