Constant languageserver_types::NOTIFICATION__Exit

pub const NOTIFICATION__Exit: &'static str = "exit"

A notification to ask the server to exit its process. The server should exit with success code 0 if the shutdown request has been received before; otherwise with error code 1.