diff options
| author | Luca Milanesio <luca.milanesio@gmail.com> | 2018-07-07 23:09:36 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2018-07-26 01:02:42 +0200 |
| commit | eea9a7a0ba1e0e065c9a0fd01f0210bc2cc74068 (patch) | |
| tree | e35c1c8f1350efd2b42ae0238295032b96fd092a /org.eclipse.jgit/plugin.properties | |
| parent | 4eea4ea508900c35b2f200d36e3342b8198a8026 (diff) | |
| download | jgit-eea9a7a0ba1e0e065c9a0fd01f0210bc2cc74068.tar.gz jgit-eea9a7a0ba1e0e065c9a0fd01f0210bc2cc74068.zip | |
Use java.nio to delete path to get detailed errors
Get the full IOException of the reason why a directory
cannot be removed during GC.
Change-Id: Ia555bce009fa48087a73d677f1ce3b9c0b685b57
Signed-off-by: Luca Milanesio <luca.milanesio@gmail.com>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit/plugin.properties')
0 files changed, 0 insertions, 0 deletions