« Previous | Next » 

Revision 3f404fc5

Parent 0cc00929
Child 0cf257c5

Added by Guido Trotter about 16 years ago

LockSet: improve remove() api

Lockset's remove() function used to return a list of locks we failed to remove.
Rather than doing this we'll return a list of removed locks, so it's more
similar to how acquire() behaves. This patch also fixes the relevant unit tests.

Reviewed-by: imsnah


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences