Revision 0cf257c5
ID | 0cf257c54f91edc1204769391381a6485d6c4808 |
Parent | 3f404fc5 |
Child | 806e20fd |
Make LockSet.__names() return a list, not a set
Previously the private version of the __names function returned directly a set.
We'll keep this in the public interface but change the private version to a
list in order to be able to sort() its result and then loop on it, even though
we'll need to do this with the usual care that some keys may disappear in
between.
Reviewed-by: imsnah
Files
- added
- modified
- copied
- renamed
- deleted