« Previous | Next » 

Revision d4f4b3e7

IDd4f4b3e763cf53d4718521d22c3651cbb3f349a1
Parent d4803c24
Child 80ee04a4

Added by Guido Trotter over 13 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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences