Merge pull request #2884 from github/aeisenberg/avoid-double-restart

Avoid double restarts of the query server
This commit is contained in:
Andrew Eisenberg
2023-09-29 11:04:37 -07:00
committed by GitHub
2 changed files with 3 additions and 0 deletions

View File

@@ -2,6 +2,8 @@
## [UNRELEASED]
- Fix a bug where the query server was restarted twice after configuration changes. [#2884](https://github.com/github/vscode-codeql/pull/2884).
## 1.9.1 - 29 September 2023
- Add warning when using a VS Code version older than 1.82.0. [#2854](https://github.com/github/vscode-codeql/pull/2854)

View File

@@ -26,6 +26,7 @@ export class ServerProcess implements Disposable {
this.connection.end();
this.child.stdin!.end();
this.child.stderr!.destroy();
this.child.removeAllListeners();
// TODO kill the process if it doesn't terminate after a certain time limit.
// On Windows, we usually have to terminate the process before closing its stdout.