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

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

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

@@ -27,6 +27,7 @@
import java.util.Collection;
import java.util.Date;
import java.util.List;
import java.util.Locale;
import java.util.Map;
import java.util.TimeZone;

@@ -606,6 +607,11 @@
   }

   @Override
   public Locale getLocale() {
      return runtimeManager.getLocale();
   }

   @Override
   public boolean isDebugMode() {
      return runtimeManager.isDebugMode();
   }
@@ -923,6 +929,11 @@
   }

   @Override
   public void resetRepositoryCache(String repositoryName) {
      repositoryManager.resetRepositoryCache(repositoryName);
   }

   @Override
   public List<String> getRepositoryList() {
      return repositoryManager.getRepositoryList();
   }