Browse Source
We sometimes face the problem that the file .git/index.lock can't deleted causing JGit operations to fail. Problem is that LockFile.unlock() simply deletes the lockfile and ignores the return value of File.delete(). Instead use FileUtils.delete() with retry option. This method will retry the deletion of the file at most 10 times with sleeps inbetween. Bug: 335959 Change-Id: I9598edea9f2304fe12e6f470301211b503434848 Signed-off-by: Christian Halstrick <christian.halstrick@sap.com>stable-0.12
Christian Halstrick
14 years ago
1 changed files with 5 additions and 1 deletions
Loading…
Reference in new issue