Follow-up from "workspaces via sourcecache 1" - workspace.init_workspace should raise a SourceError
The following discussion from !1563 (merged) should be addressed:
-
@danielsilverstone-ct started a discussion: (+6 comments) Again, I wonder if we need this any longer -- wouldn't this only be called if you tried to open a workspace which was already open?