endWorkspaceScope method

void endWorkspaceScope(
  1. String workspaceId
)

Immediately disposes the workspace scope for workspaceId.

The ZenithUserScope (user identity and credentials) is unaffected.

Implementation

void endWorkspaceScope(String workspaceId) {
  final ws = _workspaces.remove(workspaceId);
  ws?.dispose();
}