Johannes Schindelin 8ae4dd6b8e 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 https://github.com/git-for-windows/git/issues/1315

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

2019-02-21 11:10:18 +01:00

178 KiB

Raw Blame History

View Raw