Skip to content

No way to get request_id for a tool call to cancel it #230

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ihrpr opened this issue Feb 24, 2025 · 1 comment
Open

No way to get request_id for a tool call to cancel it #230

ihrpr opened this issue Feb 24, 2025 · 1 comment
Labels
enhancement New feature or request

Comments

@ihrpr
Copy link
Contributor

ihrpr commented Feb 24, 2025

Describe the bug
When trying to cancel a tool by sending a cancel notification, there is no way to know request_id.

It would be useful to set a request id during the tool call.

To Reproduce
Try cancelling a tool call

Expected behavior
Have a reques_id known to cancel it

@davemssavage
Copy link

As an alternative to having to expose the request id outside of the client session #628 uses the cancel scope that the session is running in to trigger cancelation, this feels more natural to me and hides the internal protocol details inside the client, I'm not sure request_id has any usage outside of cancelation, if there are other use cases then other approaches may be more appropriate.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants