diff --git a/lib/locking.py b/lib/locking.py index a35767f03e193c5c4630d7ae4c47fe60442f3228..f359678fa1f63f06653214c3e47ab0af82db9ae0 100644 --- a/lib/locking.py +++ b/lib/locking.py @@ -745,6 +745,8 @@ class GanetiLockManager: """ return self.__keyring[level]._is_owned() + is_owned = _is_owned + def _list_owned(self, level): """Get the set of owned locks at the given level