Fixed cache bug wrt create/edit repository with existing repo name (issue-172)

James Moger

2012-12-21 6f8ad9b1068e57062a5f79da83c10ee715d412ef

 src/com/gitblit/GitBlit.java

@@ -1937,7 +1937,7 @@
         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));