View source
class ExitNotification
package languageServerProtocol.protocol
import languageServerProtocol.protocol.Protocol
The exit event is sent from the client to the server to ask the server to exit its process.
The exit event is sent from the client to the server to ask the server to exit its process.
staticfinalinlineread onlytype:ProtocolNotificationType<NoData, NoData> = new ProtocolNotificationType<NoData,NoData>("exit")