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.