We now have a metadata table where we store the database version. If the value stored is the same as the current version, we do nothing. Otherwise, we just delete the entire database and recreate it.
Note: In the next few weeks, I'll probably also add a command to the VSCode extension to delete the workspace storage directory since that can be helpful at times.
Fixes https://github.com/fwcd/kotlin-language-server/issues/503
We now have a metadata table where we store the database version. If the value stored is the same as the current version, we do nothing. Otherwise, we just delete the entire database and recreate it.
This does not solve https://github.com/fwcd/kotlin-language-server/issues/470 (we can do that in a following PR for clarity)
Note: In the next few weeks, I'll probably also add a command to the VSCode extension to delete the workspace storage directory since that can be helpful at times.