Please sign in to comment.
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
diff: munmap() file contents before running external diff
When running an external diff from, say, a diff tool, it is safe to assume that we want to write the files in question. On Windows, that means that there cannot be any other process holding an open handle to said files. So let's make sure that `git diff` itself is not holding any open handle to the files in question. This fixes #1315 Signed-off-by: Johannes Schindelin <email@example.com>
- Loading branch information
Showing with 4 additions and 0 deletions.
- +4 −0 diff.c