effectiveLeaseId property

String get effectiveLeaseId

The lease id of this session, derived from the profile and the workspace when the caller did not name one.

Implementation

String get effectiveLeaseId =>
    leaseId ?? ProjectBrowserSession.leaseIdFor(profile.id, workspace.path);