GenLSP.Requests.Shutdown (gen_lsp v0.0.7)

A shutdown request is sent from the client to the server. It is sent once when the client decides to shutdown the server. The only notification that is sent after a shutdown request is the exit event.

Link to this section Summary

Link to this section Types

@type t() :: %GenLSP.Requests.Shutdown{
  id: integer(),
  jsonrpc: String.t(),
  method: String.t(),
  params: nil | nil
}