-
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 supportedready for workEnough information for someone to start working onEnough information for someone to start working on
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 supportedready for workEnough information for someone to start working onEnough information for someone to start working on
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