Closed ArtemGr closed 9 years ago
Looks like it should be rebased.
Ouch. I'll update to the fresh version sometime later then.
Merged as 81204b8ca92b71bd8caf362b7caed24d4c3b1901
Wow, how did you do that? Thanks.
It's actually a way git
is supposed to work :smile:, I've just checkouted your branch, edited, amended (it doesn't change author) and pushed to master
. Github's Pull Requests are just a nice gui wrapper over it.
This method should be called periodically to ensure that the crashed readers are removed from the lock table. cf. the caveats at http://symas.com/mdb/doc/index.html