-
Notifications
You must be signed in to change notification settings - Fork 17
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
Provide a way to pull latest changes made to a registered tool on demand. #735
Comments
The backend changes for this PR have merged and this is ready for UI work. The API for "force refresh" of a tool reference is |
@cjellick - should this be available on all tools or just custom ones? |
Custom. @thedadams did you put distinguish between the two? |
@cjellick @thedadams - The api that the backend exposes here seems to return an asynchronous response. My steps:
I do not see the list update as I'd expect. Refreshing gets the new data. options here are to either make the response synchronous or implement Polling in the UI. Edit: I tried using With this in mind polling is not a good solution and I'd push to make the api synchronous. Very open to discussion on the matter though. WDYT? |
There is no difference from the backend perspective; it makes sense to refresh either. @ryanhopperlowe Regarding synchronous/asynchronous: the refreshing is done asynchronously. I believe polling is already implemented for tool references in the UI because I added a |
Able to pull the latest version for custom tools using "Refresh Tool" option provided the tool in the |
Steps to reproduce the problem:
There is no way for me to use the new version of the tool.
Even when I delete the tool and add the same tool again, I only get the version of the tool from step1 (changes from step4 are not available).
Expected Behavior:
Provide a way to pull latest changes made to a registered tool on demand.
The text was updated successfully, but these errors were encountered: