diff options
author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2019-01-19 19:30:18 -0500 |
---|---|---|
committer | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2019-01-24 11:55:24 -0500 |
commit | 3e36e3635ee01521facf146958cfedee3e923cdc (patch) | |
tree | bc24216bd98a54ce26838b576c4288067585276b | |
parent | 05587f22bd157e188e2083f11893e7c801b3f50e (diff) | |
download | buildstream-3e36e3635ee01521facf146958cfedee3e923cdc.tar.gz |
_scheduler/resources.py: Dont error out in unregister_exclusive_interest()
Don't require the interest to be registered, just discard any interest,
this function just sets a bit in a mask, and is not intended to maintain
a balance like the reserve() function is.
-rw-r--r-- | buildstream/_scheduler/resources.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildstream/_scheduler/resources.py b/buildstream/_scheduler/resources.py index f19d66b44..73bf66b4a 100644 --- a/buildstream/_scheduler/resources.py +++ b/buildstream/_scheduler/resources.py @@ -163,4 +163,4 @@ class Resources(): def unregister_exclusive_interest(self, resources, source): for resource in resources: - self._exclusive_resources[resource].remove(source) + self._exclusive_resources[resource].discard(source) |