diff --git a/NEWS b/NEWS index dc0a827..361626d 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,13 @@ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +New in v6.1 + +* Bugfixes + + - Correctly deallocate named counters if resource fails to allocate. + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + New in v6.0 * Enhancements diff --git a/resalloc/__init__.py b/resalloc/__init__.py index 5fa6331..2d3f673 100644 --- a/resalloc/__init__.py +++ b/resalloc/__init__.py @@ -1 +1 @@ -__version__ = '6.0' +__version__ = '6.1' diff --git a/resallocserver/manager.py b/resallocserver/manager.py index f4d1a30..e3a1d16 100644 --- a/resallocserver/manager.py +++ b/resallocserver/manager.py @@ -379,7 +379,8 @@ def job(self): if resource.state == RState.ENDED: session.delete(resource.id_in_pool_object) - + for counter in resource.named_counters: + session.delete(counter) # Notify manager that it is worth doing re-spin. self.event.set()