In kai-rpc-server
add progress tracking and cancellation support for the rpc requests
#525
Labels
enhancement
New feature or request
ide-plugin
IDE Related Issues
priority/important-longterm
Important over the long term, but may not be staffed and/or may need multiple releases to complete.
priority/nextup
Issues we want to address soon
rpc-server
Milestone
In order to provide a better user experience with long running requests, please add at least cancellation support. Progress tracking is also highly desirable.
Issue konveyor/editor-extensions#149 is blocked until at least cancellation support is available.
In general, LSP servers can use Work Done Progress or a more generic Cancellation support.
In either of these approaches, the rpc request would include a generated id. The server can send notification "event" messages back with progress notes. While the long running request from vscode extension is in progress, vscode could send a separate cancel request with the original generated id. The
kai-rpc-server
could then abort the process gracefully, potentially returning "partial" results.As far as I know, the only way to actually abort an analysis or solution request is to kill the kai server process. Since killing the solution process could leave a dirty file tree behind, that's not a great option.
The text was updated successfully, but these errors were encountered: