« Previous | Next » 

Revision d4f4b3e7

Parent d4803c24
Child 80ee04a4

Added by Guido Trotter over 15 years ago

Add GanetiLockManager.is_owned function

This is a public version of the private function we already had.
We don't just change the previous version because it had lots of users
in the library itself and in the testing code.

Reviewed-by: imsnah


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences