Skip to content

Commit e1056e4

Browse files
remote/coordinator: fix scheduling for missing allocated places
Stop processing a reservation allocation after its allocated place is missing and the reservation has been marked invalid. This avoids accessing the missing place while scheduling reservations. Signed-off-by: Asher Pemberton <asher.pemberton@arm.com> Reviewed-by: Asher Pemberton <asher.pemberton@arm.com> # gatekeeper Co-authored-by: Idan Saadon <idan.saadon@arm.com>
1 parent 04bb2b6 commit e1056e4

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

labgrid/remote/coordinator.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -986,6 +986,7 @@ def schedule_reservations(self):
986986
res.allocations.clear()
987987
res.refresh(300)
988988
print(f"reservation ({res.owner}/{res.token}) is now {res.state.name}")
989+
break
989990
if place.acquired is not None:
990991
acquired_places.add(name)
991992
assert name not in allocated_places, "conflicting allocation"

0 commit comments

Comments
 (0)