Enum languageserver_types::request::Shutdown
[−]
[src]
pub enum Shutdown {}The shutdown request is sent from the client to the server. It asks the server to shut down, but to not exit (otherwise the response might not be delivered correctly to the client). There is a separate exit notification that asks the server to exit.