Added option to disable deleting of non empty repositories through the user...

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

 src/main/java/com/gitblit/manager/RepositoryManager.java

@@ -455,6 +455,18 @@
   }

   /**
    * Reset all caches for this repository.
    *
    * @param repositoryName
    * @since 1.5.1
    */
   @Override
   public void resetRepositoryCache(String repositoryName) {
      removeFromCachedRepositoryList(repositoryName);
      clearRepositoryMetadataCache(repositoryName);
   }

   /**
    * Resets the repository list cache.
    *
    */