Merge pull request #1841 from github/koesie10/fix-monitor-await

Fix incorrect await for monitor
This commit is contained in:
Koen Vlaswinkel
2022-12-06 16:30:15 +01:00
committed by GitHub

View File

@@ -125,11 +125,7 @@ export class RemoteQueriesManager extends DisposableObject {
} else if (status === QueryStatus.InProgress) {
// In this case, last time we checked, the query was still in progress.
// We need to setup the monitor to check for completion.
await commands.executeCommand(
"codeQL.monitorRemoteQuery",
queryId,
query,
);
void commands.executeCommand("codeQL.monitorRemoteQuery", queryId, query);
}
}