Invalidate workspace cache
Closed this issue · 3 comments
markusweigelt commented
When a new workspace is added, it is not displayed immediately in list of workspaces.
SvenMarcus commented
A simple idea for a custom caching mechanism would be to store the last time the workspaces were indexed and simply update whenever the last modified time of the workspace directory is more recent than that. Thoughts?
markusweigelt commented
Would be at least a temporary solution until a database or smarter cache invalidation (without rebuilding the whole cache) is available.
markusweigelt commented
Works for me.