def owner.snapshot.close.released
mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:1098
import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot
import Base
1098def owner.snapshot.close.released(
1099 decision: RegistryReleaseDecision,
1100 allocator: ResourceIdAllocator,
1101 cursors: List<&2, CursorResource>,
1102 prefix: List<&2, SnapshotResource>,
1103 resource: SnapshotResource,
1104 tail: List<&2, SnapshotResource>
1105) -> OwnerSnapshotCloseDecision:
1106 match decision:
1107 case Released{reservations}:
1108 OwnerSnapshotClosed{OwnerRegistry{allocator, reservations,
1109 snapshot.list.cursor.restore(prefix, tail), cursors}, resource}
1110 case InvalidRelease{reservations}:
1111 OwnerSnapshotCloseRejected{OwnerRegistry{allocator, reservations,
1112 snapshot.list.cursor.restore(prefix, Con{resource, tail}), cursors}}