Use codeql.exe instead of codeql.cmd on Windows

Author: nickrolfe

.github/workflows/main.yml

@@ -80,7 +80,7 @@ jobs:
         if: matrix.os == 'windows-latest'
         run: |
           cd extensions/ql-vscode
-          $env:CODEQL_PATH=$(Join-Path $env:GITHUB_WORKSPACE -ChildPath 'codeql-home/codeql/codeql.cmd')
+          $env:CODEQL_PATH=$(Join-Path $env:GITHUB_WORKSPACE -ChildPath 'codeql-home/codeql/codeql.exe')
           npm run test
 
       - name: Run integration tests (Linux)

extensions/ql-vscode/package.json

@@ -99,7 +99,7 @@
           "scope": "machine",
           "type": "string",
           "default": "",
-          "description": "Path to the CodeQL executable that should be used by the CodeQL extension. The executable is named `codeql` on Linux/Mac and `codeql.cmd` on Windows. This overrides all other CodeQL CLI settings."
+          "description": "Path to the CodeQL executable that should be used by the CodeQL extension. The executable is named `codeql` on Linux/Mac and `codeql.exe` on Windows. This overrides all other CodeQL CLI settings."
         },
         "codeQL.runningQueries.numberOfThreads": {
           "type": "integer",

extensions/ql-vscode/src/distribution.ts

@@ -502,7 +502,7 @@ export function versionCompare(a: Version, b: Version): number {
 }
 
 function codeQlLauncherName(): string {
-  return (os.platform() === "win32") ? "codeql.cmd" : "codeql";
+  return (os.platform() === "win32") ? "codeql.exe" : "codeql";
 }
 
 function isRedirectStatusCode(statusCode: number): boolean {

extensions/ql-vscode/src/queryserver-client.ts

@@ -184,13 +184,8 @@ export class QueryServerClient extends DisposableObject {
    * The active query is used to specify the side log.
    *
    * This isn't ideal because in situations where there are queries running
-   * in parallel, their output is interleaved, but because the activeQuery
-   * is fixed, the previous query will have results mixed in with the active
-   * query's side log.
-   *
-   * The ideal solution would be to extract the active query from the log
-   * text received by the query server. However, that change is not
-   * available yet.
+   * in parallel, each query's log messages are interleaved. Fixing this
+   * properly will require a change in the query server.
    */
   private updateActiveQuery(method: string, parameter: any): void {
     if (method === messages.compileQuery.method) {