feat: support 'workspace/reload'

microsoft / build-server-for-gradle

An implementation of the Build Server Protocol for Gradle

MIT License

51 stars 8 forks source link

feat: support 'workspace/reload' #54

Closed jdneo closed 1 year ago

jdneo commented 1 year ago

Implement https://build-server-protocol.github.io/docs/specification#workspacereload-request

jdneo commented 1 year ago

how it can be canceled.

I've no answer for this question. Looks into the spec, currently there is no cancel request/notification. Maybe I can ask them for clarification.

jdneo commented 1 year ago

Maybe I can ask them for clarification.

The answer from BSP team: The cancellation mechanism in BSP is inherited from LSP. Which means client sends a $/cancelRequest and server responses with a ServerCancelled error code.

Filed an issue: https://github.com/microsoft/build-server-for-gradle/issues/58