cannot initialize workspace: no backup found; last backup failed: workspace does not exist. #9598
Description
Bug description
Sometimes workspace can fail during shutdown with this error:
'cannot initialize workspace: no backup found; last backup failed: workspace does not exist.'
This happens because DisposeWorkspace can be called multiple times.
First call removes workspace id from the store, and second one will fail.
Steps to reproduce
it happens randomly. Look in logs for 'workspace does not exist'
Workspace affected
No response
Expected behavior
No response
Example repository
No response
Anything else?
No response