diff options
author | James Moger <james.moger@gitblit.com> | 2012-12-21 16:49:04 -0500 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2012-12-21 16:49:04 -0500 |
commit | 6f8ad9b1068e57062a5f79da83c10ee715d412ef (patch) | |
tree | ae93c589e4a3cee6fab312051491faf7f5b96e07 /src/com/gitblit | |
parent | 2d85d43d61518d26be33a0e7759a3d4f4a627452 (diff) | |
download | gitblit-6f8ad9b1068e57062a5f79da83c10ee715d412ef.tar.gz gitblit-6f8ad9b1068e57062a5f79da83c10ee715d412ef.zip |
Fixed cache bug wrt create/edit repository with existing repo name (issue-172)
Diffstat (limited to 'src/com/gitblit')
-rw-r--r-- | src/com/gitblit/GitBlit.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/com/gitblit/GitBlit.java b/src/com/gitblit/GitBlit.java index 782da63e..54ca6d20 100644 --- a/src/com/gitblit/GitBlit.java +++ b/src/com/gitblit/GitBlit.java @@ -1937,7 +1937,7 @@ public class GitBlit implements ServletContextListener { if (!repository.name.toLowerCase().endsWith(org.eclipse.jgit.lib.Constants.DOT_GIT_EXT)) {
repository.name += org.eclipse.jgit.lib.Constants.DOT_GIT_EXT;
}
- if (new File(repositoriesFolder, repository.name).exists()) {
+ if (hasRepository(repository.name)) {
throw new GitBlitException(MessageFormat.format(
"Can not create repository ''{0}'' because it already exists.",
repository.name));
|