Constant languageserver_types::NOTIFICATION__Cancel
[−]
[src]
pub const NOTIFICATION__Cancel: &'static str=
"$/cancelRequest"
The base protocol now offers support for request cancellation. To cancel a request, a notification message with the following properties is sent:
A request that got canceled still needs to return from the server and send a response back. It can not be left open / hanging. This is in line with the JSON RPC protocol that requires that every request sends a response back. In addition it allows for returning partial results on cancel.