diff options
| author | Philipp Thun | 2011-02-22 18:02:50 +0000 |
|---|---|---|
| committer | Philipp Thun | 2011-02-22 18:04:24 +0000 |
| commit | 8adeced370c1754d945241975599379cbceff9f7 (patch) | |
| tree | 031debc9ca3b70a4dc190f5df6356cb5e828215f | |
| parent | aa8d899eda59ff319c6b3d4989b008e162f1358b (diff) | |
| download | egit-8adeced370c1754d945241975599379cbceff9f7.tar.gz egit-8adeced370c1754d945241975599379cbceff9f7.tar.xz egit-8adeced370c1754d945241975599379cbceff9f7.zip | |
Close repository before deleting its working directory
When deleting a repository (from the Git Repositories view) and
checking the option 'Also delete working directory' this failed in
case projects had been imported into the Eclipse workspace from this
repository before.
Change-Id: I9fa0b35e929c7b7e8b1bf75bdb56ce8ab36d99a1
Signed-off-by: Philipp Thun <philipp.thun@sap.com>
| -rw-r--r-- | org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java index 26848c91d5..df3cfe0abf 100644 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java @@ -177,6 +177,7 @@ public class RemoveCommand extends try { for (RepositoryNode node : selectedNodes) { Repository repo = node.getRepository(); + repo.close(); if (!repo.isBare() && deleteWorkDir) FileUtils.delete(repo.getWorkTree(), FileUtils.RECURSIVE | FileUtils.RETRY); |