-
Notifications
You must be signed in to change notification settings - Fork 3.3k
No way to get request_id for a tool call to cancel it #230
Copy link
Copy link
Open
Labels
P2Moderate issues affecting some users, edge cases, potentially valuable featureModerate issues affecting some users, edge cases, potentially valuable featureenhancementRequest for a new feature that's not currently supportedRequest for a new feature that's not currently supportedneeds decisionIssue is actionable, needs maintainer decision on whether to implementIssue is actionable, needs maintainer decision on whether to implement
Metadata
Metadata
Assignees
Labels
P2Moderate issues affecting some users, edge cases, potentially valuable featureModerate issues affecting some users, edge cases, potentially valuable featureenhancementRequest for a new feature that's not currently supportedRequest for a new feature that's not currently supportedneeds decisionIssue is actionable, needs maintainer decision on whether to implementIssue is actionable, needs maintainer decision on whether to implement
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_idknown to cancel it