endWorkspaceScopeAsync method

Future<void> endWorkspaceScopeAsync(
  1. String workspaceId, {
  2. Duration timeout = const Duration(milliseconds: 500),
})

Two-phase workspace disposal — awaits drainables with timeout.

Implementation

Future<void> endWorkspaceScopeAsync(
  String workspaceId, {
  Duration timeout = const Duration(milliseconds: 500),
}) async {
  final ws = _workspaces.remove(workspaceId);
  if (ws != null) {
    await ws.drainAndDispose(timeout: timeout);
  }
}