diff --git a/extensions/ql-vscode/src/local-databases-ui.ts b/extensions/ql-vscode/src/local-databases-ui.ts index 798ce4c32..7be4c1c7d 100644 --- a/extensions/ql-vscode/src/local-databases-ui.ts +++ b/extensions/ql-vscode/src/local-databases-ui.ts @@ -633,7 +633,7 @@ export class DatabaseUI extends DisposableObject { this.queryServer?.cliServer, ); } else { - await this.setCurrentDatabase(progress, token, uri); + await this.databaseManager.openDatabase(progress, token, uri); } } catch (e) { // rethrow and let this be handled by default error handling. @@ -755,27 +755,6 @@ export class DatabaseUI extends DisposableObject { return this.databaseManager.currentDatabaseItem; } - private async setCurrentDatabase( - progress: ProgressCallback, - token: CancellationToken, - uri: Uri, - ): Promise { - let databaseItem = this.databaseManager.findDatabaseItem(uri); - - const makeSelected = true; - - if (databaseItem === undefined) { - databaseItem = await this.databaseManager.openDatabase( - progress, - token, - uri, - makeSelected, - ); - } - - return databaseItem; - } - /** * Ask the user for a database directory. Returns the chosen database, or `undefined` if the * operation was canceled. @@ -795,7 +774,11 @@ export class DatabaseUI extends DisposableObject { if (byFolder) { const fixedUri = await this.fixDbUri(uri); // we are selecting a database folder - return await this.setCurrentDatabase(progress, token, fixedUri); + return await this.databaseManager.openDatabase( + progress, + token, + fixedUri, + ); } else { // we are selecting a database archive. Must unzip into a workspace-controlled area // before importing.