New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Handle error for exists on MMapDirectory #1988

Merged

PSeitz merged 1 commit into main from mmap_err_handling

Apr 25, 2023

Contributor

PSeitz commented Apr 7, 2023

exists will return false in case of other io errors, like permission denied


          Handle error for exists on MMapDirectory

8fb397e

`exists` will return false in case of other io errors, like permission denied

PSeitz requested a review from fulmicoton

April 7, 2023 09:24

fulmicoton approved these changes

View reviewed changes

PSeitz merged commit 80df1d9 into main

PSeitz deleted the mmap_err_handling branch

April 25, 2023 07:20

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment