Renaming browse database does not delete old database

[michelleangela]

Environment

• VS Code Version: 1.12.*

Bug Summary and Steps to Reproduce

Bug Summary:
Old browse database does not get deleted after a new one with a new name is created.

Steps to reproduce:

1. In c_cpp_properties.json, set setting: "browse": { "databaseFilename": "${workspaceFolder}/.vscode/browse.vc.db" }
2. Rename browse.vc.db to browse2.vc.db
3. Result: browse.vc.db still exists.

Expected behavior

Old database should be deleted.

Code sample and Logs

n/a

Screenshots

No response

Additional context

No response

[bobbrow]

We’re closing this as not planned.
This issue has been inactive for a long time, and we will be unable to investigate and address it in the foreseeable future.