uwiger / locks

A scalable, deadlock-resolving resource locker
Mozilla Public License 2.0
205 stars 26 forks source link

Re-check after DOWN when non-leader node appears #12

Closed uwiger closed 9 years ago

uwiger commented 9 years ago

Re. #11 - force a check_if_done() after DOWN if there are related requests and await_nodes == true. This should ensure that e.g. locks_leader gets notified and can proceed.