The extension currently does not restart the lsp when the connection closes (e.g., due to a crash). This could be enhanced with either retrying atleast once or giving users the option to configure max-retries.

{
  ...
    "configuration": {
      "properties": {
        "sprocket.server.maxRetries": {
          "type": "number",
          "default": 1,
          "description": "Maximum number of times to attempt restarting the Sprocket server after termination."
        },
      }
    }
  ...
}

We can add a initializationFailedHandler to verify if sprocket was initialized or not and attempt to restart the lsp based on that

let initializationError;
let clientOptions = {
    documentSelector: [{ scheme: "file", language: "wdl" }],
    outputChannel: channel,
    initializationFailedHandler: (error: ResponseError<InitializeError> | Error | any) => {
      initializationError = error;
      return false;
    },
   // options
}