This change allows language clients to override the default server stopping behaviour allowing faster kills, ie killing the server process without waiting for the shutdown response.
Client's can override the shutdownServersGracefully() method.
The default behaviour is unchanged. I'll use this in ide-rust as rls can be stuck building for long periods of time before it will shutdown, yet builds are safe to kill in this way.
This change allows language clients to override the default server stopping behaviour allowing faster kills, ie killing the server process without waiting for the shutdown response.
Client's can override the
shutdownServersGracefully()
method.The default behaviour is unchanged. I'll use this in ide-rust as rls can be stuck building for long periods of time before it will shutdown, yet builds are safe to kill in this way.
This feature is also available in my fork: