Revision fdfe88b1
ID | fdfe88b12d07e398d24001661b651fa33a6021e2 |
Parent | 4036f63a |
Child | 45df0793 |
Make SharedLock._is_owned public
This will be useful for assertions. GanetiLockManager._is_owned is
exported, too.
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
Files
- added
- modified
- copied
- renamed
- deleted