Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix the deadlock when closing db (#164)
A bug was found when running benchmark, which has been solved.
- Loading branch information