]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e0e788) | patch
Files should be deleted with "retry" option 61/22461/3
authorMarc Strapetz <marc.strapetz@syntevo.com>
Mon, 24 Feb 2014 17:38:20 +0000 (18:38 +0100)
committerRobin Rosenberg <robin.rosenberg@dewire.com>
Wed, 26 Feb 2014 10:53:56 +0000 (05:53 -0500)
commit59a2dc801ce12b0522273e4403983d6ee4968c33
treee39e6a230b630e5117045f070c59aaaea96bad26tree | snapshot
parent8e0e78858c27b86cd0f04603e122fa69909c0299commit | diff
Files should be deleted with "retry" option

Some of our Windows users have reported sporadic file system access
problems related to ObjectDirectory(Inserter) file deletion code in
combination with antiviral/firewall tools. For one of these users the
problem was fairly reproducible and changing deletion to RETRY solved
his problem.

Change-Id: I1e4001d5557fca693b7bac401268599467cb0c9e
Signed-off-by: Marc Strapetz <marc.strapetz@syntevo.com>‌
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/ObjectDirectory.java diff | blob | history
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/ObjectDirectoryInserter.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit