]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commit
Add comments/permit unchecked error to close_db_dir pull requests (#10093)
authorzczhu <>
Fri, 3 Jun 2022 04:52:35 +0000 (21:52 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 3 Jun 2022 04:52:35 +0000 (21:52 -0700)
commite88d8935ae6aef2a4f5e01e5f4e027fc5a7306d2
tree31482d027be5979dde3833f31d79a26d79918e65
parented50ccd19a2660e65db47b82933ee9177a8e8ef5
Add comments/permit unchecked error to close_db_dir pull requests (#10093)

Summary:
In [close_db_dir](https://github.com/facebook/rocksdb/pull/10049) pull request, some merging conflicts occurred (some comments and one line `s.PermitUncheckedError()` are missing). This pull request aims to put them back.

Pull Request resolved: https://github.com/facebook/rocksdb/pull/10093

Reviewed By: ajkr

Differential Revision: D36884117

Pulled By: littlepig2013

fbshipit-source-id: 8c0e2a8793fc52804067c511843bd1ff4912c1c3
db/column_family.cc
env/io_posix.cc