Constant languageserver_types::REQUEST__Shutdown

pub const REQUEST__Shutdown: &'static str = "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.