Whenever the language server crashes, vscode will restart it. After the 5th crash, they'll leave it permanently crashed. There seems to be no time limit on adding up to the 5, so even after a few days, vscode may still terminate the language server.
This PR adds tracking for when language server is stopped and then not started back up again after a period of time.
For example, 20 seconds after after the final failure, this event fires so that we can show a "wanna restart it" popup.
Whenever the language server crashes, vscode will restart it. After the 5th crash, they'll leave it permanently crashed. There seems to be no time limit on adding up to the 5, so even after a few days, vscode may still terminate the language server.
This PR adds tracking for when language server is stopped and then not started back up again after a period of time. For example, 20 seconds after after the final failure, this event fires so that we can show a "wanna restart it" popup.