Copy link Copy Markdown

Collaborator

Open

		};

		dictionary ToolCancelEventInit : EventInit {
		DOMString toolName = "";

Copy link Copy Markdown

Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looking at this interface, I'm seeing a potential problem with multiple agents and concurrent activations of the same tool. Which one should be cancelled if all we know is the tool name? I'll comment on the issue.

Merged

Copy link Copy Markdown

Collaborator Author

@domfarolino Now that #164 has been merged, I guess another one will follow so that I can plug this PR to tool execution. Is that right?

Copy link Copy Markdown

Collaborator Author

FYI I've rebased this PR because of conflicts

Merged

Copy link Copy Markdown

Collaborator

It looks like this closed mistakenly, since it was based off of the executeTools branch which got deleted when #226 landed. Either myself of @beaufortfrancois will get this back up again, based on main.

Open

Copy link Copy Markdown

Collaborator Author