X Tutup
The Wayback Machine - https://web.archive.org/web/20201128041453/https://github.com/github/vscode-codeql/issues/693
Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Error when deleting database that doesn't exist on disk anymore #693

Open
max-schaefer opened this issue Nov 26, 2020 · 0 comments
Open

Error when deleting database that doesn't exist on disk anymore #693

max-schaefer opened this issue Nov 26, 2020 · 0 comments
Labels

Comments

@max-schaefer
Copy link

@max-schaefer max-schaefer commented Nov 26, 2020

Describe the bug
When trying to delete a database from the UI that doesn't exist on disk anymore, I sometimes get "Cannot read property 'belongsToSourceArchiveExplorerUri' of undefined", possibly originating here (though this is a guess, since I don't have a stack trace).

To Reproduce

  • Create a new database, for example using codeql test run
  • Import it
  • Exit VSCode
  • Remove the database
  • Start VSCode again; the database now displays a red cross next to it.
  • Try removing the database; the log will show a message about "Removing workspace folder at index -1", possibly caused by the typo fixed in #692. The database is not removed.
  • Try removing the database again; the log will show the message mentioned above.

Expected behavior
It should delete the database.

@max-schaefer max-schaefer added the bug label Nov 26, 2020
@github-actions github-actions bot added the VSCode label Nov 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
1 participant
You can’t perform that action at this time.
X Tutup