[ ] Tests for the changes have been added (for bug fixes / features)
What kind of change does this PR introduce?
This is required because the IDE does not correctly clean up resources once the language server is shutdown.
What is the current behavior?
The language server shutdown without any further message.
What is the new behavior?
The language server sends a progress-end for any pending progress channel open.
Please check if the PR fulfills these requirements
[x] The PR has no duplicates (please search among the Pull Requests before creating one)
[x] The PR follows our contributing guidelines
[ ] Tests for the changes have been added (for bug fixes / features)
What kind of change does this PR introduce? This is required because the IDE does not correctly clean up resources once the language server is shutdown.
What is the current behavior? The language server shutdown without any further message.
What is the new behavior? The language server sends a progress-end for any pending progress channel open.