Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix get_modified_time to avoid race condition on Windows
If multiple processes tried to read the same input file simultaneously, get_modified_time would fail. With this change, get_modified_time does not need to actually open the file in order to read the metadata.
- Loading branch information